@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},
     year = {1988},
     volume = {24},
     number = {6},
     mrnumber = {975854},
     zbl = {0664.03035},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1988_24_6_a4/}
}