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

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

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