TY  - BOOK
AU  - Nagel,Ernest
AU  - Newman,James Roy
TI  - Gödel’s proof
PY  - 1964///
CY  - New York
PB  - University Press
N1  - Бібліогр. : c. 115, Index
ER  -