Читаю "Основы теоретической логики" Гильберта, Аккермана. Дошел до второй главы "Исчисление классов" (под классами подразумеваются множества), где рассматривается одноместное исчисление предикатов. В § 3 рассматривается систематический вывод традиционных аристотелевых умозаключений в комбинированном исчислении (высказывания + одноместные предикаты).
Проблема в том, что там очень коротко написано и трудно читать.
Вопрос: Кто знает книги по математической логике, где более подробно разбираются
категорические силлогизмы?
