Изменения

*[[метод математической индукции]];

*[[схема примитивной рекурсии]];

*[[машина Поста]];

*[[машина Тьюринга]];