TY  - BOOK
AU  - Mostowski,Andrzej
TI  - Sentences undecidable in formalized arithmetic: An exposition of the theory of kurt godel 
T2  - Studies in logic and the foundations of mathematics
AV  - BC135 M67
PY  - 1952///
CY  - Amsterdam
PB  - North-holland
KW  - Godel, Kurt,
KW  - Semántica (Filosofía)
KW  - Lógica simbólica y matemática
ER  -