Type Theory and Formal Proof
An Introduction
Edición de la obra Type Theory and Formal Proof
| Autor | Rob Nederpelt, Herman Geuvers |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2014 |
| Idioma | inglés |
| Páginas | 466 |
| ISBN-13 | 9781107036505 |
| LCCN | 2014010865 |
| Número de Cutter | N371t |