Електронний каталог

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

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

Підтеми:

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

Документи:

• Гун, А. К. Матеиатическая логика и теория алгоритмов [Текст] : учебное пособие / А. К. Гун. – Омск : Наследие, 2003. – 108 с. – ISBN 5-8239-0126-7.
• Дрозд, Ю. Основи математичної логіки [Текст] / Ю. Дрозд. – К. : [б. в.], 2003. – 96 с.