Kybernetika 24 no. 6, 447-451, 1988

A simple detailed proof for Goedel's incompleteness theorem

Alexei L. Semenov

Classification:

68-02, 03F30, 68Q50, 03-01, 03D05

paper.pdf