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

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

Логіка висловлювань (та обчислення)