Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024
O prikupljanju novca
pretraga knjiga
knjige
Prikupljanje sredstava:
57.5% 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
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
Godina:
1991
Jezik:
english
Fajl:
PDF, 7.90 MB
Vaši tagovi:
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
Godina:
1991
Jezik:
english
Fajl:
DJVU, 2.27 MB
Vaši tagovi:
0
/
0
english, 1991
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
×
×