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

• Класифікатори та каталоги
• Логістика. Символічна логіка. Математична логіка. Логічне числення

Логіка доказу стверджень (теорем). Числення викладів (формулювань).

Документи:

• Основы теоретической логики [Текст] : пер. с нем. / под ред. С.А. Яновской. — М. : Иниздат, 1947. — 306 с.
• Спор. О теории и практике спора [Текст] / С.И. Поварнин. — СПб. : Лань, 1996. — 160 с.