Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
articles search
articles
Fundraising:
21.6% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
Open LITERA Point
Terms search
Main
Terms search
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
Language:
english
File:
PDF, 982 KB
Your tags:
0
/
0
english
2
初等カタストロフィ一
共立出版
野口広
,
福田拓生
証
キ
値
菰
補
炉
折
傍
冗
積
環
ァ
釦
ベクトル
キ
トム
芽
モデル
coo
換
ペクトル
複
含
ぴ
イデアル
ハ
カタストロフィー
リー
仮
射
録
臨
f:m
pem
カクストロフィ
モース
吟
珈
囮
ぃ
匹
窃
拡
砂
誓
オ
釘
ヽ
佑
ホィットニイ
Year:
1976
Language:
japanese
File:
PDF, 8.90 MB
Your tags:
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
Year:
2004
Language:
russian
File:
PDF, 588 KB
Your tags:
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
Year:
2014
Language:
chinese
File:
PDF, 39.83 MB
Your tags:
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
Year:
1973
Language:
english
File:
DJVU, 3.43 MB
Your tags:
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
Language:
english
File:
PDF, 215 KB
Your tags:
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
Language:
russian
File:
PDF, 457 KB
Your tags:
0
/
0
russian
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×