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

• Класифікатори та каталоги
• Математична логіка

Логічні теорії. Логіко-предметні теорії.Класичні логічні системи

Підтеми:

• Логіка висловлювань (та обчислення)
• Логіка предикатів (та обчислення) (Теорії типів)