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

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

510.65 Логіко-математичні теорії (Формальна арифметика. Формальна теорія чисел)