Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science - Johan Georg Granstrom - Libros - Springer - 9789400736399 - 3 de agosto de 2013
En caso de que portada y título no coincidan, el título será el correcto

Johan Georg Granstrom
Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science 2011 edition

Precio
$ 145,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 14 - 27 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Johan Georg Granstrom

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:

Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.

198 pages, 8 black & white tables, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 3 de agosto de 2013
ISBN13 9789400736399
Editores Springer
Páginas 212
Dimensiones 156 × 234 × 11 mm   ·   330 g
Lengua Inglés   Alemán   Greek   Latin  

Más del mismo editor

Ver todo de Johan Georg Granstrom ( Ej. Hardcover Book y Paperback Book )