Tels.: DF (55) 55 54 94 02 • Cuernavaca (777) 102 83 86
Libros relacionados
portada Descargar ficha PDF Título:
Autor: Precio: $1680.00
Editorial: Año: 2012
Tema: Edición: 1ª
Sinopsis ISBN: 9781439800003
Combinatory Logic: Pure, Applied and Typed provides a state-of-the-art overview of the field in the early 21st century. Using a reader-friendly style, the author introduces combinatory logic before progressing to its central theorems and proofs. The text makes intelligent and well-researched connections between combinatory logic and ?-calculi and presents models and applications, which amplify the significance of these connections.
Disponibilidad: Bajo pedido    Contáctanos  ó Solicítalo
Librería Bonilla SA de CV © Todos los derechos reservados. 2019
Última actualización: Jul 2019