Sentences undecidable in formalized arithmetic
an exposition of the theory of Kurt Gödel
Gespeichert in:
Verfasser / Beitragende:
Andrzej Mostowski
Ort, Verlag, Jahr:
Amsterdam :
North-Holland Publ. Co.,
1952
Beschreibung:
VIII, 117 S. ; 22 cm
Format:
Buch