جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024
حول جمع التبرعات
البحث عن الكتب
الكتب
جمع التبرعات:
65.9% تم الوصول
تسجيل الدخول
تسجيل الدخول
المستخدمين المصرح لهم متاح لهم التالي:
توصيات شخصية
روبوت Telegram
تاريخ التنزيلات
إرسال إلي Email أو Kindle
إدارة المجموعات المختارة
حفظ في المفضلة
شخصي
طلبات الكتب
تعلم
Z-Recommend
قوائم الكتب المختارة
الأكثر شهرة
الفئات
مشاركة
التبرع والدعم
التحميلات
Litera Library
التبرع بالكتب الورقية
أضف كتبًا ورقية
Search paper books
LITERA Point الخاص بي
البحث عن الكلمات الرئيسية
Main
البحث عن الكلمات الرئيسية
search
1
Semantics of Type Theory: Correctness, Completeness and Independence Results
Birkhäuser Basel
Thomas Streicher (auth.)
defined
calculus
morphism
constructions
equal
contextual
category
context
proposition
app
induction
map
propositions
interpretation
unique
models
categories
exists
morphisms
function
theorem
x:a
equality
lemma
arbitrary
contexts
canonical
partial
strip2
prove
constructive
define
propositional
pullback
products
proofs
typed
introduction
maps
dependent
iix:a
sections
curry
generic
indexed
categorical
isomorphism
projection
calculi
uniqueness
عام:
1991
اللغة:
english
ملف:
PDF, 7.90 MB
الشعارات الخاصة بك:
0
/
0
english, 1991
2
Semantics of type theory: correctness, completeness and independence results
Birkhauser
Streicher
,
Thomas
defined
calculus
morphism
constructions
equal
contextual
nab
category
context
app
proposition
induction
map
propositions
interpretation
models
unique
categories
x:a
exists
function
morphisms
equality
theorem
lemma
arbitrary
constructive
contexts
canonical
partial
strip2
prove
define
propositional
proofs
pullback
products
typed
introduction
pcm
maps
dependent
sections
categorical
generic
indexed
isomorphism
projection
calculi
correctness
عام:
1991
اللغة:
english
ملف:
DJVU, 2.27 MB
الشعارات الخاصة بك:
0
/
0
english, 1991
1
ادخل علي
هذا الرابط
أو إبحث عن البوت "@BotFather" في Telegram
2
أرسل الأمر /newbot
3
أدخل إسمًا للبوت الخاص بك
4
أدخل إسم المستخدم للبوت
5
انسخ الرسالة الأخيرة من BotFather والصقها هنا
×
×