Categorical logic and type theory
Edición de la obra Categorical logic and type theory
| Autor | Bart Jacobs |
|---|---|
| Editorial | Elsevier Science |
| Fecha de publicación | 1999 |
| Lugar | Amsterdam, New York |
| Idioma | inglés |
| Páginas | 760 |
| ISBN-10 | 0444501703 |
| OCLC | 40298312 |
| LCCN | 98043478 |
| Serie | Studies in logic and the foundations of mathematics ; · v. 141 |
| Número de Cutter | J17c |