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
Mex$ 2.561
sin IVA

Pedido desde almacén remoto

Entrega prevista 15 de sep. - 1 de oct.
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)