Búsqueda

Buscaste por: Empezar de nuevo Autor Nederpelt; Geuvers Eliminar filtro Autor: Nederpelt; Geuvers Colección Cambridge University Press Eliminar filtro Colección: Cambridge University Press Fecha de publicación 2014 Eliminar filtro Fecha de publicación: 2014 Materia Computer Science Eliminar filtro Materia: Computer Science Materia Mathematics Eliminar filtro Materia: Mathematics
Resultados 1 - 1 de 1

Resultados de búsquedas

1. Type Theory and Formal Proof
Nederpelt; Geuvers
Cambridge University Press
E-ISBN: 9781139567725; 9781107036505 ISBN: