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

• Класифікатори та каталоги
• Загальні проблеми математичної логіки. Основи математики

Застосування математичної логіки

Підтеми:

• Логічний аналіз природних мов