Theorem Proving with the Real Numbers

John Harrison

John Harrison - Theorem Proving with the Real Numbers
John Harrison - Theorem Proving with the Real Numbers
John Harrison - Theorem Proving with the Real Numbers
John Harrison - Theorem Proving with the Real Numbers

Omschrijving

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.
€ 109,40
Paperback
 
In de winkelwagen 4 werkdagen Wenslijst Stel een vraag
In de winkelwagen 4 werkdagen Wenslijst Stel een vraag
Gratis verzending vanaf
€ 19,95 binnen Nederland
Schrijver
John Harrison
Titel
Theorem Proving with the Real Numbers
Uitgever
Springer London Ltd
Jaar
2011
Taal
Engels
Pagina's
186
Gewicht
312 gr
EAN
9781447115939
Afmetingen
235 x 155 x 11 mm
Bindwijze
Paperback

U ontvangt bij ons altijd de laatste druk!

Rubrieken

Studieboeken
Kunst
Wijnen
Informatica
Eten en drinken
Sport
Reizen
Oorlog
Streekromans
Strips
Gezondheid
Bijbels
Novelle
Politiek
Fietsen
Muziek
Zwangerschap
Solliciteren
Alle categorieën
Boekstra