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

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

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