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 - 15 de octubre 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
$ 150,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 11 - 30 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy)

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

Aún no valorado

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 15 de octubre de 1998
ISBN13 9780198501275
Editores Oxford University Press
Páginas 292
Dimensiones 161 × 242 × 20 mm   ·   588 g
Lengua Inglés  

Más del mismo editor

Ver todo de Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy)