History and Philosophy of Constructive Type Theory - Synthese Library - Giovanni Sommaruga - Libros - Springer - 9789048154036 - 7 de diciembre de 2010
En caso de que portada y título no coincidan, el título será el correcto

Giovanni Sommaruga
History and Philosophy of Constructive Type Theory - Synthese Library Softcover reprint of hardcover 1st ed. 2000 edition

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

A comprehensive survey of Martin-Loef's constructive type theory, considerable parts of which have only been presented by Martin-Loef in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.

367 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 7 de diciembre de 2010
ISBN13 9789048154036
Editores Springer
Páginas 367
Dimensiones 160 × 240 × 19 mm   ·   530 g
Lengua Inglés  

Mas por Giovanni Sommaruga

Mostrar todo

Mere med samme udgiver

Ver todo de Giovanni Sommaruga ( Ej. Hardcover Book y Paperback Book )