Mostrando
1 - 2
Resultados de
2
Para Buscar '
Sambin, Giovanni
'
Saltar al contenido
Login
Menu
0
elementos
(Completo)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Idioma
Inglés
Español
Francés
Galego
Términos de búsqueda
Todos los Campos
Título
Autor
Tema
Clasificación
ISBN/ISSN
Etiqueta
Buscar
Búsqueda Avanzada
Autor
Sambin, Giovanni
Skip recommendations
Mostrando
1 - 2
Resultados de
2
Para Buscar '
Sambin, Giovanni
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
Herramientas de búsqueda:
Suscríbete a esta búsqueda
1
Cargando…
Twenty Five Years of Constructive Type Theory.
por
Sambin, Giovanni
Publicado 1998
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto completo
Electrónico
eBook
Código QR
2
Cargando…
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 /
Publicado 1998
Otros Autores:
“…
Sambin, Giovanni
…”
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto completo
Electrónico
eBook
Código QR
Temas relacionados
Théorie des types
Type theory
Constructive mathematics
Démonstration automatique
Infinity
Kongress
Logic
Logic, Symbolic and mathematical
Logique symbolique et mathématique
MATHEMATICS
Mathématiques constructives
Mathématiques intuitionnistes
Philosophie et mathématiques
Théorèmes
Théorie constructive type
Typentheorie
Types, Théorie des
Wiskundige logica
