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

• Класифікатори та каталоги
• Математика

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

Підтеми:

• Основи математики
• Математична логіка
• Теорія моделей
• Алгебраїчна логіка
• Теорія множин
• Теорія алгоритмів і обчислювальних (рекцесивних) функцій. Конструктивний аналіз
• Загальноматематичні системи