Doações 15 de Setembro 2024 – 1º de Outubro 2024
Sobre a angariação de fundos
pesquisa de livros
livros
Doações:
63.6% atingido
Entrar
Entrar
para acessar mais recursos:
Recomendações pessoais
Telegram bot
Baixar histórico
Enviar para o E-mail ou Kindle
gerenciar as listas de livros
salvar para os favoritos
Pessoal
Pedidos de livro
Explorar
Z-Recomendado
Coleções de livros
Mais populares
Categorias
Contribuição
Doar
Carregamentos
Litera Library
Doe livros de papel
Adicione livros de papel
Search paper books
Meu LITERA Point
Pesquisa de termos
Main
Pesquisa de termos
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
Ano:
2023
Idioma:
english
Arquivo:
PDF, 3.11 MB
As suas tags:
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
Ano:
2010
Idioma:
german
Arquivo:
PDF, 86 KB
As suas tags:
0
/
0
german, 2010
1
Siga a
este link
ou encontre o bot "@BotFather" no Telegram
2
Send /equipe newbot
3
Indique o nome para o seu chatbot
4
Escolha um nome de usuário para um bot
5
Copia a última mensagem de BotFather e insira-a aqui
×
×