TY  - BOOK
AU  - Mostowski,Andrzej
TI  - Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel 
U1  - 511.3 23
PY  - 1964///
CY  - Amsterdam
PB  - North-Holland
KW  - Logic, Symbolic and mathematical
KW  - Semantics (Philosophy)
N1  - Bibliography: p. 116-117
ER  -