Type theory and formal proof - an introduction
- Författare
- Rob Nederpelt
- (Rob Nederpelt Herman Geuvers.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 2014 | Storbritannien, Cambridge, New York | xxv, 436 sidor. ill. | 978-1-107-03650-5 |