A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series - Fairouz D. Kamareddine - Libros - Springer-Verlag New York Inc. - 9781402023347 - 9 de junio de 2004
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 2004 edition

Precio
$ 189,49
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:

Provides an overview of type theory. This title places historical systems in the modern setting. It deals with modern type theory as it developed since the 1940s, and with the role of propositions as types or proofs as terms. It proposes systems that bring more advantages together.

360 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 9 de junio de 2004
ISBN13 9781402023347
Editores Springer-Verlag New York Inc.
Páginas 360
Dimensiones 155 × 235 × 22 mm   ·   707 g
Lengua Inglés  

Mere med samme udgiver

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