Categorical logic and type theory
- Författare
- Bart Jacobs
- (Bart Jacobs.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Elsevier Science | 1999 | Nederländerna, Amsterdam | 760 sidor. | |
| Elsevier | 1998 | Utgivningsland okänt / Ej specificerat |