Theorem Proving with the Real Numbers - Distinguished Dissertations - John Harrison - Books - Springer London Ltd - 9781447115939 - November 20, 2011
In case cover and title do not match, the title is correct

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

Price
$ 108.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 29 - Jun 4

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 20, 2011
ISBN13 9781447115939
Publishers Springer London Ltd
Pages 186
Dimensions 155 × 235 × 10 mm   ·   285 g
Language English  

More by John Harrison

Show all

See all of John Harrison ( e.g. Paperback Book , Hardcover Book , Book , LP and Blu-ray )