Изменения

# названия функций надо в \mathrm

# Помёрджить с конспектом математической логики [[Рекурсивные функции, представимость в формальной арифметике]]

# Замечание про взаимную рекурсию в обсуждениях

<li> [[Стековые машины, эквивалентность двухстековой машины МТ]] </li>