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