Treatise on Intuitionistic Type Theory - Logic, Epistemology, and the Unity of Science - Johan Georg Granstrom - Livros - Springer - 9789400717350 - 3 de junho de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
R$ 791,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de Johan Georg Granstrom

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível 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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 3 de junho de 2011
ISBN13 9789400717350
Editoras Springer
Páginas 212
Dimensões 156 × 234 × 12 mm   ·   453 g
Idioma Inglês   Alemão   Greek   Latin  

Mais da mesma editora

Ver tudo de Johan Georg Granstrom