Funkcje rekurencyjne i elementy metamatematyki
Problemy zupełności, rozstrzygalności, twierdzenie Gődla
Autor podaje przystępny wykład zagadnień związanych z twierdzeniem Gődla o niezupełności oraz z problemem rozstrzygalności i nierozstrzygalności teorii. Podręcznik napisany niezwykle interesująco, ...
Książka (miękka)