Practical foundations of mathematics.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Cambridge :
Cambridge University Press,
1999.
|
| Colección: | Cambridge studies in advanced mathematics
59 |
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- Contenido: First order reasoning
- Types and induction
- Posets and lattices
- Cartesian closed categories
- Limits and colimits
- Structural recursion
- Adjunctions
- Algebra with dependent types
- The quantifiers.