Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
21.3% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Recursive Equivalence Types
University of California Press
Dekker
,
Jacob C. E. and Myhill
,
John R.
theorem
recursive
finite
infinite
sets
function
element
partial
r.e
req
defined
exists
suppose
assume
prove
implies
seq
isol
contains
isols
subset
california
equivalent
mathematics
dekker
publications
indecomposable
myhill
recursively
r.e.t
define
functions
ordered
r.e.t.s
lemma
propositions
zero
conclude
notation
corollary
maps
effectively
ideal
addition
isolated
disjoint
isomorphism
refinement
multiplication
false
Рік:
1960
Мова:
english
Файл:
DJVU, 2.01 MB
Ваші теги:
0
/
0
english, 1960
2
Constructive Order Types
Elsevier Science
John N. Crossley (Eds.)
theorem
recursive
lemma
ordering
finite
ordinals
defined
r.e
ordinal
partial
suppose
orderings
corollary
infinite
function
classical
addition
constructive
linear
implies
multiplication
isomorphism
sets
element
reader
define
exponentiation
exists
unique
quord
seq
prove
functions
quords
ordered
otherwise
descending
preserving
contains
losols
recursively
cot
induction
assume
exp
similarly
beb
segment
subset
crossley
Рік:
1969
Мова:
english
Файл:
PDF, 2.40 MB
Ваші теги:
0
/
0
english, 1969
3
Constructive Order Types
Elsevier, Academic Press
John N. Crossley
theorem
recursive
lemma
ordering
finite
ordinals
defined
r.e
ordinal
partial
suppose
orderings
corollary
infinite
function
classical
addition
constructive
linear
implies
multiplication
isomorphism
sets
element
reader
define
exponentiation
exists
unique
quord
seq
prove
functions
quords
ordered
otherwise
descending
preserving
contains
losols
recursively
cot
induction
assume
exp
similarly
beb
segment
subset
crossley
Мова:
english
Файл:
PDF, 6.35 MB
Ваші теги:
0
/
0
english
4
Constructive Order Types
North-Holland Pub. Co.
John N. Crossley
theorem
recursive
lemma
ordering
finite
ordinals
r.e
orderings
ordinal
partial
suppose
corollary
infinite
constructive
defined
function
classical
addition
linear
implies
isomorphism
multiplication
sets
element
c.o.t.s
define
reader
exponentiation
unique
exists
quord
seq
denned
otherwise
prove
descending
functions
quords
ordered
beb
exp
preserving
assume
contains
losols
recursively
induction
similarly
cot
crossley
Рік:
1969
Мова:
english
Файл:
DJVU, 998 KB
Ваші теги:
0
/
0
english, 1969
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×