72
правки
Изменения
Нет описания правки
''В. А. Успенский'' '''Лекции о вычислимых функциях''' — М.: ГИФМЛ, 1960, с. 203
[http://en.wikipedia.org/wiki/G%C3%B6del_numbering Godel numbering on Wiki]
[[Категория: Теория формальных языков]]
[[Категория: Теория вычислимости]]
