Cargando…
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 /
Per Martin-L--ouml--;f's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguisti...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford : New York :
Clarendon Press ; Oxford University Press,
1998.
|
| Colección: | Oxford logic guides ;
36. Oxford science publications. |
| Temas: | |
| Acceso en línea: | Texto completo |