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

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

Окремі проблеми. Окремі теореми