Donaciones 15 de septiembre 2024 – 1 de octubre 2024
Acerca de la recaudación de fondos
buscar libros
libros
Donaciones:
58.6% alcanzado
Iniciar sesión
Iniciar sesión
los usuarios autorizados tienen acceso a:
recomendaciones personales
Bot de Telegram
historial de descargas
enviar a correo electrónico o Kindle
gestión de listas de libros
guardar en favoritos
Personal
Solicitudes de libros
Estudio
Z-Recommend
Listas de libros
Más populares
Categorías
Participación
Donar
Cargas
Litera Library
Donar libros en papel
Agregar libros en papel
Search paper books
Mi LITERA Point
Búsqueda de palabras clave
Main
Búsqueda de palabras clave
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
Año:
1991
Idioma:
english
Archivo:
PDF, 7.90 MB
Sus etiquetas:
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
Año:
1991
Idioma:
english
Archivo:
DJVU, 2.27 MB
Sus etiquetas:
0
/
0
english, 1991
1
Sigue
este link
o encuentra al bot "@BotFather" en Telegram
2
Envía el comando /newbot
3
Indica un nombre para tu bot
4
Indica un nombre de usuario para el bot
5
Copia el último mensaje de BotFather e insértalo aquí
×
×