Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Andrzej Mostowski
Bok · Engelsk · 1952

Utgitt	Amsterdam : North-Holland , 1952
Omfang	VIII, 117 s.
Emner	Gödel's theorem Logic, Symbolic and mathematical Semantics (Philosophy) Beslutningsproblemer