History and Philosophy of Constructive Type Theory - Synthese Library - Giovanni Sommaruga - Libros - Springer - 9780792361800 - 31 de julio de 2000
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 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     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de julio de 2000
ISBN13 9780792361800
Editores Springer
Páginas 367
Dimensiones 165 × 240 × 28 mm   ·   734 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 )