Со времен создания Аристолем формальной логики, она в своей основе не изменилась. Глобальным концептуальным вкладом можно считать лишь добавление 4-ого закона логики.
Однако, в 20 веке эта дисциплина наращивала обороты.
В этой коллекции приведены работы замечательных мастеров Маркова и Колмогорова... Подробно изложена современна концепция нечеткой логики.
Список книг:

1. Айзерман Логика. Автоматы. Алгоритмы.
2. Булос Вычислимость и логика.
3. Гильберт Основы Теоритической логики.
4. Гиндикин Алгебра логики в задачах.
5. Гладкий Математическая логика.
6. Голдблатт Топосы. Категорный анализ логики.
7. Зиновьев Очерки комплексной логики.
8. Калужин Что такое математическая логика.
9. Кац, Улам Математика и логика. Ретроспектива и перспективы.
10. Колмогоров Введение в математическую логику.
11. Круглов Нечеткая логика и искусственные нейронные сети.
12. Лавров Задачи по теории множеств, математической логике и теории алгоритмов.
13. Марков Элементы математической логики.
14. Меськов Очерки по логике квантовой механики.
15. Метакидес Принципы логики и логического программирования.
16. Новиков Констуктивная математическая логика с точки зрения классической.
17. Ракитов Курс лекций по логике науки.
18. Саратов Сборник задач по математической логике и алгебре множеств.
19. Таванец Проблемы логики.
20. Фрейденталь Язык Логики.
21. Чень, Ли Математическая логика и автоматическео доказательство теорем.
22. Чёрч Введение в математическую логику.
23. Чупахин Формальная логика.
24. Эдельман математическая логика.