sebina, you, services, library, user

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel / Andrzej Mostowski. - Amsterdam : North-Holland Publ. Co., 1952. - VIII, 117 p. ; 22 cm

Mostowski, Andrzej

Testo a stampa (moderno) 1952