Sentences undecidable in formalized arithmetic

an exposition of the theory of Kurt Gödel

Verfasser / Beitragende:
Andrzej Mostowski
Ort, Verlag, Jahr:
Amsterdam : North-Holland Publ. Co., 1952
Beschreibung:
VIII, 117 S. ; 22 cm
Format:
Buch
ID: 270468013