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

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

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

Документи:

• Конструкционно-продукционная модель структур данных на логическом уровне [Текст] / В.И. Шинкаренко, В.М. Ильман, Г.В. Забула // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 10-16.