3622
правки
Изменения
→Примеры неразрешимых задач
# Добавить информацию по последнему замечанию из обсуждений
# Добавить см. также
<li> ''взялиfixed'' [[Неразрешимость исчисления предикатов первого порядка]] (0.5) </li>
# Добавить см. также
# Интервики на конспекты по математической логигике
