Натуральное исчисление для модальной логики первого порядка с поссибилистскими кванторами
Основы формальной и предикатной логики первого порядка
Аристотель считал, что логика — инструмент к познанию, который объединяет методом получения информации науки