В наши дни широкого использования математических методов исследования во многих областях науки и искусства современная логика привлекает всё большее внимание исследователей. Однако при этом на первый план зачастую выходит формальный аппарат логики, а не идейная её сторона. Именно этим идейным аспектам логики, пока незаслуженно остающимся на втором плане, посвящены в основном «Заметки по логике».

Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выявил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими описаниями. Очень ценен для начинающего читателя набор задач, которые призваны привить вкус к самостоятельным исследованиям по логике.

Книгу с большим интересом прочтут и те, кто только начинает заниматься математикой (на первом курсе вузов или в старших классах средней школы), и специалисты.

Книги на ту же тему

1. Логическая семантика и модальная логика, Таванец П. В., ред., 1967
2. Введение в математическую логику, Колмогоров А. Н., Драгалин А. Г., 1982
3. Математика и логика: ретроспектива и перспективы, Кац М., Улам С. М., 1971
4. Математическая логика в программировании: Сборник статей 1980—1988 гг., Захарьящев М. В., Янов Ю. И., ред., 1991
5. Задачи по теории множеств, математической логике и теории алгоритмов, Лавров И. А., Максимова Л. Л., 1975
6. Математическая логика, Клини С. К., 1973
7. Алгебра логики в задачах, Гиндикин С. Г., 1972
8. Алгебра логики и интегральные преобразования в краевых задачах, Рвачев В. Л., Слесаренко А. П., 1976
9. Логический подход к искусственному интеллекту: от классической логики к логическому программированию, Тей А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф., 1990
10. Характеризационная теория синтеза функциональных декомпозиций в k-значных логиках, Горбатов А. В., 2000
11. Логика и развитие научного знания, Бродский И. Н., Слинин Я. А., ред., 1992