Geodesic
Una prueba directa del teorema de incompletitud de Gödel.
Collectanea mathematica, Tome 37 (1986) no. 1.

Voir la notice de l'article provenant de la source Proyecto DML-E: Biblioteca Digital de Matemáticas 

@article{CLTM_1986_1986_1_a10,
     author = {Prida, Jos\'e F.},
     title = {Una prueba directa del teorema de incompletitud de {G\"odel.}},
     journal = {Collectanea mathematica},
     pages = {81-83},
     publisher = {mathdoc},
     volume = {37},
     number = {1},
     year = {1986},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CLTM_1986_1986_1_a10/}
}
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  - 
%0 Journal Article
%A Prida, José F.
%T Una prueba directa del teorema de incompletitud de Gödel.
%J Collectanea mathematica
%D 1986
%P 81-83
%V 37
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CLTM_1986_1986_1_a10/
%G en
%F CLTM_1986_1986_1_a10
Prida, José F. Una prueba directa del teorema de incompletitud de Gödel.. Collectanea mathematica, Tome 37 (1986) no. 1. http://geodesic.mathdoc.fr/item/CLTM_1986_1986_1_a10/