Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995
| Otros Autores: | , |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Oxford : New York :
Clarendon Press ; Oxford University Press
1998.
|
| Colección: | EBSCO Academic eBook Collection Complete.
Oxford logic guides ; 36. Oxford science publications. |
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b31213388*spi |
| Descripción Física: | vii, 283 p. |
|---|---|
| Formato: | Forma de acceso: World Wide Web. |
| Bibliografía: | Incluye referencias bibliográficas. |
| ISBN: | 9780191589034 |
