Libros
Type Theory and Formal Proof

Type Theory and Formal Proof

Rob Nederpelt
2014
Páginas: 466
Género: Logic, symbolic and mathematical


Añadir a mi colección

Formato