Sentences undecidable in formalized arithmetic : An exposition of the theory of kurt godel /
Andrzej mostowski
- 117 páginas
- Studies in logic and the foundations of mathematics .
Godel, Kurt, 1906-1978
Semántica (Filosofía) Lógica simbólica y matemática