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

• Класифікатори
• 510.64 Некласичні, формальні логічні системи

510.647 Ймовірнісна логіка