Proofs and types
Edición de la obra Proofs and types
| Autor | Jean-Yves Girard, Yves Lafont, Paul Taylor |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | April 28, 1989 |
| Idioma | inglés |
| Páginas | 192 |
| Formato | Hardcover |
| ISBN-13 | 9780521371810 |
| ISBN-10 | 0521371813 |
| OCLC | 20170936 |
| LCCN |