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  -