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

• Класифікатори та каталоги
• Классическая (двузначная) логика

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