Número de Cutter-SanbornM916sEntrada «Mosto» → 916 · marca de obra “s”

Sentences undecidable in formalized arithmetic

an exposition of the theory of Kurt Gödel

Autor	Andrzej Mostowski
Editorial	North-Holland Pub. Co.
Fecha de publicación	1952
Lugar	Amsterdam
Idioma	inglés
Páginas	117
Serie	Studies in logic and the foundations of mathematics
Número de Cutter	`M916s`

Sentences undecidable in formalized arithmetic (1952) | Cutter Number