113
правок
Изменения
→См. также
* [[Лямбда-исчисление]]
* [[Примеры неразрешимых задач: проблема соответствий Поста]]
* [[Неразрешимость исчисления предикатов первого порядка]]
* [[Математическая логика]]
* [https://github.com/shd/logic2011 Д. Штукенберг. Лекции по математической логике]
