Зведений каталог бібліотек Харкова

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

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

Документи:

• Введение в формальные системы [Текст] : учебник / Г.Ф. Дюбко. — К. : УМК ВО, 1992. — 169 с.
• Теория формальных систем [Текст] : Пер. с англ. / Под ред. Н.А. Шанина. — М. : Наука, 1981. — 207 с.