Зведений каталог бібліотек Києва

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

Формалізм (математичні аспекти)