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

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

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