пошук книг
книги
Підтримати
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Fundamentals of mathematical logic
A.K. Peters
Hinman
,
Peter G
theorem
recursive
definition
iff
proposition
function
formula
ω̇
finite
first
exists
induction
formulas
sentence
countable
sets
consistent
symbols
corollary
lemma
suppose
prove
functions
ṡet
infinite
operation
r.e
partial
ṁ
preceding
cardinal
axioms
defined
structures
models
0̇
immediate
recursively
atomic
equivalent
otherwise
axiomatizable
primitive
recursion
compactness
propositional
ordering
finitely
cardinality
decidable
Рік:
2005
Мова:
english
Файл:
PDF, 9.56 MB
Ваші теги:
0
/
0
english, 2005
2
Fundamentals of mathematical logic
A K Peters
Peter G. Hinman
theorem
recursive
definition
iff
proposition
function
formula
ω̇
finite
first
exists
induction
formulas
sentence
countable
sets
consistent
symbols
corollary
lemma
suppose
prove
functions
ṡet
infinite
operation
r.e
partial
ṁ
preceding
cardinal
axioms
defined
structures
models
0̇
immediate
recursively
atomic
equivalent
otherwise
axiomatizable
primitive
recursion
compactness
propositional
ordering
finitely
cardinality
decidable
Рік:
2005
Мова:
english
Файл:
PDF, 12.12 MB
Ваші теги:
0
/
5.0
english, 2005
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×