%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