Зведений каталог бібліотек Києва
Класифікатори та каталоги
Загальні проблеми математичної логіки. Основи математики
Інтуїціонізм (математичні аспекти)