Teorija dokazatel'stv /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Takeuti, Gaisi, 1926-2017 (Autor)
Další autoři: Soboleva, S. K. (Překladatel)
Typ dokumentu: Kniha
Jazyk:Ruština
Vydáno: Moskva : Mír, 1978
Témata:
Příbuzné jednotky:Přeloženo z: Proof theory
Obálka
Popis
Fyzický popis:412 s.