Búsqueda

Buscaste por: Empezar de nuevo Autor Nederpelt; Geuvers Eliminar filtro Autor: Nederpelt; Geuvers Fecha de publicación 2014 Eliminar filtro Fecha de publicación: 2014 Materia Computer Science Eliminar filtro Materia: Computer Science Materia European Studies Eliminar filtro Materia: European Studies
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: