Matematičeskaja logika i avtomatičeskoje dokazatel'stvo teorem /
Hlavní autor: |
Chang, Chin-Liang
(
Autor )
|
---|---|
Další autoři: |
Lee, Richard Char-Tung
(
Autor )
|
Typ dokumentu: | Kniha |
Jazyk: |
ruština |
Vydavatel: |
Moskva :
Nauka,
1983
|
Edice: |
Mtematičeskaja logika i osnovanija matematiki
|
Předmět: | |