البحث عن الكتب
الكتب
التبرع والدعم
تسجيل الدخول
تسجيل الدخول
المستخدمين المصرح لهم متاح لهم التالي:
توصيات شخصية
روبوت Telegram
تاريخ التنزيلات
إرسال إلي Email أو Kindle
إدارة المجموعات المختارة
حفظ في المفضلة
شخصي
طلبات الكتب
تعلم
Z-Recommend
قوائم الكتب المختارة
الأكثر شهرة
الفئات
مشاركة
التبرع والدعم
التحميلات
Litera Library
التبرع بالكتب الورقية
أضف كتبًا ورقية
Search paper books
LITERA Point الخاص بي
البحث عن الكلمات الرئيسية
Main
البحث عن الكلمات الرئيسية
search
1
Simple Type Theory - A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Springer Nature Switzerland
William M. Farmer
aα
lemma
vϕm
theorem
alonzo
bβ
bα
cα
function
ϕ
defined
mathematical
cof
standard
theories
proposition
models
definitions
total
implies
fα
mathematics
morphism
valid
undefined
dα
notation
graph
axioms
prove
finite
define
morphisms
constants
theorems
values
grp
infinite
axiom
notational
corollary
functions
arithmetic
assign
γ0
partial
formula
appendix
beta
denotes
عام:
2023
اللغة:
english
ملف:
PDF, 3.11 MB
الشعارات الخاصة بك:
0
/
5.0
english, 2023
2
Ein allgemeines Abspaltungslemma für nilpotente Vektorraum-Endomorphismen
Hartmut Laue
ϕ
gilt
teilraum
dimk
folgt
invarianten
für
t̄
wϕm
ϕ̄
s̄
ϕm
erzeugt
vϕm
bezüglich
lemmas
zorn’schen
basistupel
behauptung
dimension
lemma
menge
nilpotent
vektorraum
vϕ
vϕl
zerlegung
ϕl
0t̄
beweis
daher
endk
endomorphismus
enthält
erzeuger
erzeugten
invariante
minϕ
spezialfall
teilräume
allgemeinen
anwendung
besitzt
betrachten
betrachtet
element
erfüllt
ergibt
erzeugte
erzeugter
عام:
2010
اللغة:
german
ملف:
PDF, 86 KB
الشعارات الخاصة بك:
0
/
0
german, 2010
1
ادخل علي
هذا الرابط
أو إبحث عن البوت "@BotFather" في Telegram
2
أرسل الأمر /newbot
3
أدخل إسمًا للبوت الخاص بك
4
أدخل إسم المستخدم للبوت
5
انسخ الرسالة الأخيرة من BotFather والصقها هنا
×
×