- Author: Krzysztof Apt
- Language: English
- Year: 2003
- Author: Трахтенброт Б.А. Барздинь Я.М.
- Language: Русский
- Year: 1970
Машины Тьюринга
djvu
- Author: Шеннон Маккарти.
- Language: Русский
- Year: 1963
- Author: Марченков С.С.
- Language: Русский
- Year: 2003
Рекурсивные функции
djvu
- Author: Петер Р. (авт.), Успенский В.А. (перевод)
- Language: Русский
- Year: 1954
- Author: Кобринский Н.Е. Трахтенброт Б.А.
- Language: Русский
- Year: 1962
- Author: С. С. Лавров
- Language: Русский
- Year: 2001
- Author: Брауэр В. (W.Brauer)
- Language: Русский
- Year: 1987
- Author: Варпаховский Ф.Л.
- Language: Русский
- Year: 1970
- Author: Варпаховский Ф.Л.
- Language: Русский
- Year: 1970