• DML-CZ Home

Author: Semenov, Alexei L.

• Semenov, Alexei L.: A simple detailed proof for Goedel's incompleteness theorem. (English). Kybernetika, vol. 24 (1988), issue 6, pp. 447-451