Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995
- Författare
- Giovanni Sambin
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Clarendon Press | 1998 | Utgivningsland okänt / Ej specificerat | ||
| Clarendon | 1998 | Storbritannien, Oxford | vii, 283 sidor. 24cm | 0-19-850127-7 |