A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series - Fairouz D. Kamareddine - Libros - Springer - 9789048166398 - 22 de octubre de 2010
En caso de que portada y título no coincidan, el título será el correcto

Fairouz D. Kamareddine
A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series 1st Ed. Softcover of Orig. Ed. 2004 edition

Precio
$ 137,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms. The third part proposes new systems that bring more advantages together.

374 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 22 de octubre de 2010
ISBN13 9789048166398
Editores Springer
Páginas 374
Dimensiones 156 × 234 × 19 mm   ·   526 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Fairouz D. Kamareddine ( Ej. Hardcover Book y Paperback Book )