Type Theory and Formal Proof
- Título:
- Type Theory and Formal Proof
- Materia:
- Computer Science; Mathematics; European History after 1450; European Studies; Latin American History
- Editor:
- Cambridge University Press
- Descripción:
- Coursebooks
- Identificadores:
- E-ISBN: 9781139567725; 9781107036505 ISBN:
- Colección:
- Cambridge University Press