Twenty Five Years of Constructive Type Theory - Oxford Logic Guides - Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy) - Libros - Oxford University Press - 9780198501275 - 10 de diciembre de 1998
En caso de que portada y título no coincidan, el título será el correcto

Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy)
Twenty Five Years of Constructive Type Theory - Oxford Logic Guides

Precio
$ 145,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 9 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

Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.

292 pages, bibliography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 10 de diciembre de 1998
ISBN13 9780198501275
Editores Oxford University Press
Páginas 292
Dimensiones 161 × 242 × 20 mm   ·   585 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy) ( Ej. Hardcover Book )