TY  - JOUR
AU  - Prida, José F.
TI  - Una prueba directa del teorema de incompletitud de Gödel.
JO  - Collectanea mathematica
PY  - 1986
SP  - 81
EP  - 83
VL  - 37
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CLTM_1986_1986_1_a10/
LA  - en
ID  - CLTM_1986_1986_1_a10
ER  -