Електронний каталог наукової бібліотеки НАКККіМ

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

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