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

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

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

Підтеми:

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