Философская и математическая логика
Работы по математической логике.
Работы по философской логике.
"Философская логика и ментальное многообразие"
"Проективно Модальная Онтология (ПМО)"
"Логика категорий" (предварительно нужно познакомиться с ПМО)