Extensional Constructs in Intensional Type Theory - Distinguished Dissertations - Martin Hofmann - Livros - Springer London Ltd - 9781447112433 - 22 de setembro de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Extensional Constructs in Intensional Type Theory - Distinguished Dissertations Softcover reprint of the original 1st ed. 1997 edition

Martin Hofmann

Preço
HK$ 1.232,78

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 22 de ago - 1 de set

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

Extensional Constructs in Intensional Type Theory - Distinguished Dissertations Softcover reprint of the original 1st ed. 1997 edition

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification).

216 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 22 de setembro de 2011
ISBN13 9781447112433
Editoras Springer London Ltd
Páginas 216
Dimensões 155 × 235 × 12 mm   ·   331 g
Idioma English  
Mostrar tudo

Mais por Martin Hofmann

Ver tudo de Martin Hofmann ( por exemplo Paperback Book , CD , Hardcover Book e Book )