Herman Geuvers & Rob Nederpelt 
Type Theory and Formal Proof [PDF ebook] 
An Introduction

Soporte
€86.30
Métodos de pago
¡Compre este libro electrónico y obtenga 1 más GRATIS!
Idioma Inglés ● Formato PDF ● ISBN 9781316056349 ● Editorial Cambridge University Press ● Publicado 2014 ● Descargable 3 veces ● Divisa EUR ● ID 3439404 ● Protección de copia Adobe DRM
Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

48.853 Ebooks en esta categoría