Introduction to higher order categorical logic
Edición de la obra Introduction to higher order categorical logic
| Autor | Joachim Lambek |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 1986 |
| Lugar | Cambridge [Cambridgeshire], New York |
| Idioma | inglés |
| Páginas | 293 |
| ISBN-10 | 0521246652 |
| OCLC | 11867655, 502469902 |
| LCCN | 85005941 |
| Serie | Cambridge studies in advanced mathematics ; · 7 |
| Número de Cutter |