Список проголосовавших за комментарий "Хорошая книга, но так и не дочитал. Автор прямо слишком долго и подробно описывает логические операции об утверждениях, очень много теоретизирует. Иногда при чтении возникает ощущение, будто открыл учебник по матанализу. Однако теорема Гёделя и фокус на ней очень важны и интересны, сильно меняют взгляд на вещи и учат относится более критично к формальным системам, это перекликается с Поппером и убеждает отказаться от позитивистского подхода в эпистемологии (не только в научной эпистемологии, но и в бытовой), убеждает отказаться от догматизма."