Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024
O prikupljanju novca
pretraga knjiga
knjige
Prikupljanje sredstava:
62.8% dosegnuto
Prijaviti se
Prijaviti se
prijavljenim korisnicima su dostupni:
lične preporuke
Telegram bot
istorija preuzimanja
poslati na Email ili Kindle
upravljanje zbirkama
sačuvanje u izabrano
Lično
Upite za knjige
Proučavanje
Z-Recommend
Spiskovi knjiga
Najpopularnije
Kategorije
Učešće
Donirati
Otpremanja
Litera Library
Donirati papirne knjige
Dodati papirne knjige
Search paper books
Moj LITERA Point
Pretraga ključnih reči
Main
Pretraga ključnih reči
search
1
Cut elimination in categories
Springer
Došen
,
Kosta
arrow
adjunction
category
graph
arrows
equalities
elimination
categories
ϕa
functor
generated
comonad
deductive
morphism
graphs
equality
generative
function
disintegration
adjunctions
cuts
ϕ
εa
defined
degree
formulation
γc
functions
notions
rectangular
δc
systems
total
comonads
linked
equivalent
arrowless
consider
functors
proposition
define
composition
adjoint
triangular
unique
definitions
molecular
reductions
equal
corresponding
Godina:
2008
Jezik:
english
Fajl:
PDF, 1.19 MB
Vaši tagovi:
0
/
0
english, 2008
2
Cut Elimination in Categories
Kluwer, Dordrecht
Kosta Došen
arrow
adjunction
category
arrows
graph
equalities
elimination
categories
functor
generated
comonad
deductive
morphism
graphs
equality
generative
function
disintegration
adjunctions
cuts
defined
degree
formulation
functions
notions
rectangular
systems
total
comonads
linked
equivalent
arrowless
consider
proposition
functors
define
composition
adjoint
triangular
definitions
unique
molecular
reductions
equal
corresponding
standard
formation
decision
cases
morphisms
Godina:
1999
Jezik:
english
Fajl:
PDF, 1.34 MB
Vaši tagovi:
0
/
0
english, 1999
3
Cut elimination in categories
Kluwer Academic
Došen
,
Kosta
arrow
graph
category
adjunction
arrows
equalities
categories
elimination
functor
morphism
generated
comonad
deductive
graphs
adjunctions
equality
generative
function
cuts
disintegration
degree
comonads
defined
formulation
notions
functions
rectangular
systems
total
linked
functors
equivalent
consider
proposition
arrowless
composition
cp8
define
adjoint
unique
reductions
triangular
molecular
morphisms
definitions
equal
corresponding
formation
decision
standard
Godina:
1999
Jezik:
english
Fajl:
DJVU, 1.42 MB
Vaši tagovi:
0
/
0
english, 1999
4
Cut Elimination in Categories
Kluwer, Dordrecht
Kosta Došen
arrow
graph
category
adjunction
arrows
equalities
categories
elimination
functor
morphism
generated
comonad
deductive
graphs
adjunctions
equality
generative
function
cuts
disintegration
degree
comonads
defined
formulation
notions
functions
rectangular
systems
total
linked
functors
equivalent
consider
proposition
arrowless
composition
cp8
define
adjoint
unique
reductions
triangular
molecular
morphisms
definitions
equal
corresponding
formation
decision
standard
Godina:
1999
Jezik:
english
Fajl:
DJVU, 1.42 MB
Vaši tagovi:
0
/
0
english, 1999
1
Idite na
ovaj link
ili potražite bota „@BotFather“ u Telegramu
2
Pošaljite komandu /newbot
3
Navedite ime za svog bota
4
Navedite korisničko ime za bota
5
Kopirajte poslednju poruku od BotFather i ubacite je ovde
×
×