Зведений каталог бібліотек Львова

• Класифікатори та каталоги
• Основи математики. Математична логіка

Теорія алгоритмів і обчислювальних (рекцесивних) функцій. Конструктивний аналіз