00861nam a2200265 a 4500 6213 BD RJUL 20211208234215.0 161002m19641952ne a b 000 0 eng d BD RJUL 6253 (OCoLC)373243 DLC/ICU CGU BD RJUL eng eng 511.3 MOS 1964 23 Mostowski, Andrzej. 19540 Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Andrzej Mostowski. Amsterdam : North-Holland, 1964 117 p. ; 22 cm. Bibliography: p. 116-117. Logic, Symbolic and mathematical. 19542 Semantics (Philosophy). 19543 Studies in logic and the foundations of mathematics 151087 ddc BK 6213 6213 0 0 ddc 0 0 NFIC RUCL RUCL 1968-10-25 Book Centre. 30.00 0 511.3 MOS 1964 2014-01-09 00:00:00 C-2 2021-12-08 BK 0 0 ddc 0 0 NFIC RUCL RUCL Stack 1968-10-25 Book Centre 30.00 0 511.3 MOS 1964 2016-08-27 00:00:00 C-3 2021-12-08 BK