Theorem Proving with the Real Numbers - Distinguished Dissertations - John Harrison - Boeken - Springer London Ltd - 9781447115939 - 20 november 2011
Indien omslag en titel niet overeenkomen, is de titel correct

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

John Harrison

Prijs
€ 124,49

Besteld in een afgelegen magazijn

Verwachte levering 16 - 25 dec.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst

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

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 20 november 2011
ISBN13 9781447115939
Uitgevers Springer London Ltd
Pagina's 186
Afmetingen 155 × 235 × 10 mm   ·   285 g
Taal en grammatica Engels  

Alles tonen

Meer door John Harrison

Anderen hebben ook gekocht