Зведений каталог бібліотек Києва

• Класифікатори та каталоги
• Логические теории. Логические исчисления

Классическая (двузначная) логика

Підтеми:

• Логика высказываний (пропозициональная логика). Исчисление высказываний. Натуральный вывод. Аксиоматические исчисления логики высказываний
• Логика предикатов (функциональная логика). Исчисление предикатов