Logičeskije isčislenija i formalizacija arifmetiki ; Osnovanija matematiki : Matematičeskaja logika i osnovanija matematiki /

Hlavní autor:	Hilbert, D.
Další autoři:	Bernays, P.
Typ dokumentu:	Kniha
Jazyk:	ruština
Vydavatel:	Moskva : Nauka, 1982.
Vydání:	2.izd.