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

Словарь толковых математиков качаем здесь. Архив 2м., формат djvu.

185! учебников для студентов по всем основным дисциплинам в одном архиве. Скриншот с названиями учебников (457kb) скачать тут. Сам архив (618м.) - тут.