Theorem Proving with the Real Numbers - Distinguished Dissertations - John Harrison - Livros - Springer London Ltd - 9781447115939 - 20 de novembro de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Theorem Proving with the Real Numbers - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition

John Harrison

Preço
DKK 689,60
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 25 de set - 1 de out

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

Theorem Proving with the Real Numbers - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition

This book discusses the use of the real numbers in theorem proving. We de scribe the rigorous definitional construction of the real numbers, using a new version of Cantor's method, and the formalization of a significant portion of real analysis.

186 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 20 de novembro de 2011
ISBN13 9781447115939
Editoras Springer London Ltd
Páginas 186
Dimensões 155 × 235 × 10 mm   ·   285 g
Idioma English  
Mostrar tudo

Mais por John Harrison

Outros também compraram

Ver tudo de John Harrison ( por exemplo Paperback Book , Hardcover Book , Book , LP e Blu-ray )