البحث عن الكتب
الكتب
التبرع والدعم
تسجيل الدخول
تسجيل الدخول
المستخدمين المصرح لهم متاح لهم التالي:
توصيات شخصية
روبوت Telegram
تاريخ التنزيلات
إرسال إلي Email أو Kindle
إدارة المجموعات المختارة
حفظ في المفضلة
شخصي
طلبات الكتب
تعلم
Z-Recommend
قوائم الكتب المختارة
الأكثر شهرة
الفئات
مشاركة
التبرع والدعم
التحميلات
Litera Library
التبرع بالكتب الورقية
أضف كتبًا ورقية
Search paper books
LITERA Point الخاص بي
البحث عن الكلمات الرئيسية
Main
البحث عن الكلمات الرئيسية
search
1
Practical Foundations of Mathematics [+ Errata and Reviews]
Cambridge University Press
Paul Taylor
mathematics
foundations
practical
practical_foundations
www.cs.man.ac.uk
category
remark
omitted
diagram
function
proposition
theorem
functor
categories
lemma
operation
variables
algebraic
functions
product
induction
maps
sets
map
unique
universal
closure
defined
products
recursion
examples
preserves
substitution
vdash
notation
pullback
finite
prooftree
calculus
symbols
functors
pullbacks
prec
context
mathematical
partial
joins
operations
triangleright
taylor
عام:
1999
اللغة:
english
ملف:
PDF, 1.49 MB
الشعارات الخاصة بك:
3.0
/
1.0
english, 1999
2
Basic proof theory
Cambridge University Press
A S Troelstra
,
Helmut Schwichtenberg
deduction
formula
systems
formulas
induction
theorem
lemma
deductions
sequent
gentzen
axioms
elimination
premise
variables
normalization
conclusion
axiom
intuitionistic
calculus
depth
proofs
classical
obtained
sequents
assumptions
assumption
linear
prove
cases
atomic
propositional
step
assume
substitution
occurrence
logical
reduction
defined
function
predicate
aab
context
consider
positive
contraction
notation
corresponding
equality
apply
g3i
عام:
2000
اللغة:
english
ملف:
DJVU, 3.32 MB
الشعارات الخاصة بك:
0
/
0
english, 2000
3
Basic Proof Theory
Cambridge University Press
A. S. Troelstra
,
H. Schwichtenberg
deduction
formula
systems
formulas
induction
theorem
lemma
deductions
sequent
gentzen
axioms
elimination
premise
variables
conclusion
intuitionistic
normalization
axiom
calculus
proofs
depth
obtained
classical
sequents
assumptions
assumption
linear
prove
cases
atomic
propositional
step
substitution
assume
vxa
occurrence
logical
defined
reduction
function
predicate
consider
context
positive
contraction
cutfree
notation
equality
apply
corresponding
عام:
2000
اللغة:
english
ملف:
PDF, 6.14 MB
الشعارات الخاصة بك:
5.0
/
0
english, 2000
1
ادخل علي
هذا الرابط
أو إبحث عن البوت "@BotFather" في Telegram
2
أرسل الأمر /newbot
3
أدخل إسمًا للبوت الخاص بك
4
أدخل إسم المستخدم للبوت
5
انسخ الرسالة الأخيرة من BotFather والصقها هنا
×
×