A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series - Fairouz D. Kamareddine - Libros - Springer-Verlag New York Inc. - 9781402023347 - 9 de junio de 2004
En caso de que portada y título no coincidan, el título será el correcto

Fairouz D. Kamareddine
A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series 2004 edition

Precio
Mex$ 3.260
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jul. - 11 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Fairouz D. Kamareddine

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

También disponible como:

Provides an overview of type theory. This title places historical systems in the modern setting. It deals with modern type theory as it developed since the 1940s, and with the role of propositions as types or proofs as terms. It proposes systems that bring more advantages together.

360 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 9 de junio de 2004
ISBN13 9781402023347
Editores Springer-Verlag New York Inc.
Páginas 360
Dimensiones 155 × 235 × 22 mm   ·   707 g
Lengua Inglés  

Más del mismo editor

Ver todo de Fairouz D. Kamareddine ( Ej. Hardcover Book y Paperback Book )