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, przeznaczony dla czytelnika posiadającego podstawowe wiadomości z zakresu kursu logiki. Każdy z rozdziałów kończą uwagi historyczne, przedstawiające linię rozwoju poszczególnych pojęć i teorii. Ostatni rozdział zawiera komentarz filozoficzny i metodologiczny. Podręcznik jest poszukiwaną lekturą na studiach z zakresu matematyki i innych dyscyplin.