Product Overview
Importante: Este libro es importado y podría tener una demora de 30 días.
Titulo: Type Theory and Formal Proof : An Introduction
Formato: Hardback
Autor: Rob Nederpelt
Editorial: Cambridge University Press
Lenguaje: English
Páginas: 466
ISBN: 9781107036505