Darowizna 15 września 2024 – 1 października 2024
O zbieraniu funduszy
wyszukiwanie książek
książki
Darowizna:
65.3% wykorzystano
Wejdź
Wejdź
uprawnieni użytkownicy mają dostęp do:
osobiste rekomendacje
Bot Telegramu
historia pobierania
wyślij do Email lub Kindle
zarządzanie zbiorami
zapisywanie w ulubionych
Osobiste
Zapytania o książkę
Nauka
Z-Recommend
Lista książek
Najbardziej popularne
Kategorie
Uczestnictwo
Wsparcie
Pobrania
Litera Library
Podaruj papierowe książki
Dodaj papierowe książki
Search paper books
Mój LITERA Point
Wyszukiwanie kluczowych słów
Main
Wyszukiwanie kluczowych słów
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
Rok:
1991
Język:
english
Plik:
PDF, 7.90 MB
Twoje tagi:
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
Rok:
1991
Język:
english
Plik:
DJVU, 2.27 MB
Twoje tagi:
0
/
0
english, 1991
1
Skorzystaj z
tego linku
lub wyszukaj bota „@BotFather” w Telegramie
2
Wyślij polecenie /newbot
3
Wpisz nazwę swojego bota
4
Wprowadź nazwę użytkownika dla bota
5
Skopiuj najnowszą wiadomość od BotFather i wklej ją tutaj
×
×