Сбор средств 15 Сентября 2024 – 1 Октября 2024
О сборе средств
поиск книг
книги
Сбор средств:
65.9% достигнуто
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Мой LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
An introduction to mathematical logic
Wolfram Pohlers (author)
,
Thomas Glaß (editor)
theorem
recursive
function
formula
nition
primitive
rst
formulas
prove
induction
functions
lemma
nite
proposition
consistent
assignment
calculus
card
9xf
assume
entails
axiom
nitely
predicate
symbols
vals
partial
tait
boolean
recursion
structures
sententially
sorted
variables
8xf
compactness
logical
interpolation
sets
r.e
mathematical
axioms
corollary
implies
quanti
8x1
inconsistent
ordinals
propositional
completeness
Язык:
english
Файл:
PDF, 982 KB
Ваши теги:
0
/
0
english
2
初等カタストロフィ一
共立出版
野口広
,
福田拓生
証
キ
値
菰
補
炉
折
傍
冗
積
環
ァ
釦
ベクトル
キ
トム
芽
モデル
coo
換
ペクトル
複
含
ぴ
イデアル
ハ
カタストロフィー
リー
仮
射
録
臨
f:m
pem
カクストロフィ
モース
吟
珈
囮
ぃ
匹
窃
拡
砂
誓
オ
釘
ヽ
佑
ホィットニイ
Год:
1976
Язык:
japanese
Файл:
PDF, 8.90 MB
Ваши теги:
0
/
4.5
japanese, 1976
3
Математическая логика. Курс лекций
Плиско В.Е.
®
ª
®
8xp
©
modus
ponens
8y1
9xp
8x1
8yn
qnnan
bá
na1
fx1
8xm
8xq
8y2
9xq
9x1
àx
8va
8x9yp
c00
f:ag
8x8y8z
9x8y
f1g
8x9y
fd1
8w1
8wk
8x8y
8xn
8yp
9va
c10
dk0
qnn:qn
8y18y2
9x8yp
9xk
9yp
ck0
cl0
fa1
fnjgn
xng
8xa
8zq
Год:
2004
Язык:
russian
Файл:
PDF, 588 KB
Ваши теги:
0
/
0
russian, 2004
4
UG NX产品设计实训教程
哈尔滨:哈尔滨工程大学出版社
徐岩主编
zea
nx8
nx8.0
bie
8xn
bes
eea
rea
pear
rhe
sbr
seikit
tpe
acs
arr
beas
bede
bef
cence
eab
eere
epr
erence
ffe
fla
fof
rra
rrr
rse
sek
sen7
sra
srl
srr
asb
asc
asot
aue
lace
lse
mebar
meee
motstit
mram
mre
Год:
2014
Язык:
chinese
Файл:
PDF, 39.83 MB
Ваши теги:
0
/
0
chinese, 2014
5
Giuoco Piano
Chess Digest
Larry Melvyn Evans
pxp
bxn
pxb
nxp
pxn
qr4
kr3
pawn
kb3
nxn
nxb
kn5
qn4
qxb
qxn
qxp
advantage
nxkp
bxb
qb3
bxp
qn3
n5ch
initiative
kr4
qr3
rxn
bxpch
knl
kns
kxb
n
p
qxr
kn3
euwe
k83
kb4
keres
qxq
bxr
b
kn4
nxpch
r7ch
winning
carlsbad
chances
pxq
rxb
Год:
1973
Язык:
english
Файл:
DJVU, 3.43 MB
Ваши теги:
0
/
0
english, 1973
6
Prolog Extensions to Many-Valued Logics
Klawonn F.
context
8xk
interpretation
nition
prolog
fuzzy
implication
nested
formula
logical
values
possibilistic
theorem
compatible
deduction
evaluations
necessity
probabilistic
valued
formulae
variables
derivable
mapping
completeness
consider
obtained
odel
reasoning
8yk
atomic
clauses
connectives
directly
induction
interval
probability
valuation
approaches
clause
contexts
dubois
exists
functions
possibility
prade
axioms
bounds
degree
extensions
logics
Язык:
english
Файл:
PDF, 215 KB
Ваши теги:
0
/
0
english
7
Теория вероятностей и математическая статистика - Часть 1
ТвГУ
Хохлов Ю.С.
©
®
yª
fx1
ajb
cnmpm
®
ckl
fpk
a1a2
a1a2a3
ajhk
ª
a2ja1
aiaj
aik
fy1
pm1
pmr
xik
2a1
2p1
2py
c53
cnk
deta
djh1
djh2
djh3
dx1dx2
fpi
hkp
jdetaj
jhk
k1t
n1l
n2k
np2
pij
ªy
ªª
µ
10;4
1np
1pm
1pr
2a2
2am
2x20
81x
Язык:
russian
Файл:
PDF, 457 KB
Ваши теги:
0
/
0
russian
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×