Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
22.1% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити 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 та вставте його сюди
×
×