Сбор средств 15 Сентября 2024 – 1 Октября 2024
О сборе средств
поиск книг
книги
Сбор средств:
15.2% достигнуто
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Открыть LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
Computability, Complexity, Logic
North Holland
E. Börger
wlth
theorem
whlch
recursive
lff
thls
lemma
recurslve
functlon
automata
function
programs
complexity
complexlty
universal
context
functions
ths
loglc
input
finite
followlng
predlcate
tlme
computation
output
functlons
step
computatlon
primitive
flnlte
formula
sets
gödel
simulation
formulas
variables
automaton
systems
arbltrary
predicate
glven
derlvatlon
arbitrary
interpretation
lnput
reductlon
bounded
initial
deflned
Год:
1989
Язык:
english
Файл:
DJVU, 5.99 MB
Ваши теги:
0
/
0
english, 1989
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×