Geodesic
A simple detailed proof for Goedel's incompleteness theorem
Kybernetika, Tome 24 (1988) no. 6, pp. 447-451.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Classification : 03-01, 03D05, 03F30, 68-02, 68Q50 
@article{KYB_1988__24_6_a4,
     author = {Semenov, Alexei L.},
     title = {A simple detailed proof for {Goedel's} incompleteness theorem},
     journal = {Kybernetika},
     pages = {447--451},
     publisher = {mathdoc},
     volume = {24},
     number = {6},
     year = {1988},
     mrnumber = {975854},
     zbl = {0664.03035},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1988__24_6_a4/}
}
TY  - JOUR
AU  - Semenov, Alexei L.
TI  - A simple detailed proof for Goedel's incompleteness theorem
JO  - Kybernetika
PY  - 1988
SP  - 447
EP  - 451
VL  - 24
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_1988__24_6_a4/
LA  - en
ID  - KYB_1988__24_6_a4
ER  - 
%0 Journal Article
%A Semenov, Alexei L.
%T A simple detailed proof for Goedel's incompleteness theorem
%J Kybernetika
%D 1988
%P 447-451
%V 24
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1988__24_6_a4/
%G en
%F KYB_1988__24_6_a4
Semenov, Alexei L. A simple detailed proof for Goedel's incompleteness theorem. Kybernetika, Tome 24 (1988) no. 6, pp. 447-451. http://geodesic.mathdoc.fr/item/KYB_1988__24_6_a4/