Mostowski, Andrzej,

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

BC135 / M67