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

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

510.66 Пошук виводу та проблеми розв'язання при логічних та логіко-математичних обчислень