opac, catalogo, online,servizi, biblioteca, sebina

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