Type theory and formal proof : an introduction / Rob Nederpelt, Herman Geuvers
Main Author Nederpelt, Rob P. Coauthor Geuvers, Herman, 1964- Country Reino Unido. Publication Cambridge : Cambridge University Press, cop. 2014 Description XXV, 436 p. ; 26 cm ISBN 978-1-107-03650-5 CDU 510.6| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 510.6 - N | Available | 443535 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.