Vertel uw vrienden over dit artikel:
Theorem Proving with the Real Numbers - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition
John Harrison
Prijs
€ 122,99
Besteld in een afgelegen magazijn
Verwachte levering 26 jun. - 8 jul.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Theorem Proving with the Real Numbers - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition
John Harrison
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
![Cover for Abba · Vinyl Album Box Set (LP) [2022 Box Set edition] (2022)](https://imusic.b-cdn.net/images/item/original/476/0602445149476.jpg?abba-2022-vinyl-album-box-set-lp&class=scaled&v=1648773474)
![Cover for Philippe Sarde · Ghost Story (CD) [Expanded edition] (2019)](https://imusic.b-cdn.net/images/item/original/771/8436560843771.jpg?philippe-sarde-2019-ghost-story-cd&class=scaled&v=1572712129)
![Cover for Melanie C · Northern Star (LP) [RSD 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/683/0602438893683.jpg?melanie-c-2022-northern-star-lp&class=scaled&v=1646207296)
![Cover for Modern Talking · First Album (LP) [Limited Silver Marbled Vinyl edition] (2023)](https://imusic.b-cdn.net/images/item/original/378/8719262029378.jpg?modern-talking-2023-first-album-lp&class=scaled&v=1676619517)
![Cover for Modern Talking · Let's Talk About Love (LP) [Limited Translucent Blue Vinyl edition] (2023)](https://imusic.b-cdn.net/images/item/original/385/8719262029385.jpg?modern-talking-2023-let-s-talk-about-love-lp&class=scaled&v=1676624048)
![Cover for Donna Summer · Another Place And Time (CD) [Digipak] (2015)](https://imusic.b-cdn.net/images/item/original/320/5014797893320.jpg?donna-summer-2015-another-place-and-time-cd&class=scaled&v=1434484018)
![Cover for Liza Minnelli · Results: Expanded 4 Disc Edition (CD) [Expanded edition] (2021)](https://imusic.b-cdn.net/images/item/original/807/5013929846807.jpg?liza-minnelli-2021-results-expanded-4-disc-edition-cd&class=scaled&v=1498771089)
![Cover for Halloween Ii (LP) [Coloured edition] (2021)](https://imusic.b-cdn.net/images/item/original/802/0728028496802.jpg?v-a-2021-halloween-ii-lp&class=scaled&v=1628779913)
![Cover for Arnold, David & Michael Price · Dracula (LP) [Coloured edition] (2020)](https://imusic.b-cdn.net/images/item/original/972/0738572161972.jpg?arnold-david-michael-price-2020-dracula-lp&class=scaled&v=1595860925)
![Cover for Dusty Springfield · Reputation: Expanded Deluxe CollectorS Edition (CD) [Expanded Deluxe Collector's edition] (2016)](https://imusic.b-cdn.net/images/item/original/824/5013929845824.jpg?dusty-springfield-2016-reputation-expanded-deluxe-collectors-edition-cd&class=scaled&v=1474529196)
![Cover for Laura Branigan · Self Control (LP) [Limited Clear & Pink Marbled edition] (2023)](https://imusic.b-cdn.net/images/item/original/107/8719262030107.jpg?laura-branigan-2023-self-control-lp&class=scaled&v=1692290230)
Bekijk alles van John Harrison ( bijv. Paperback Book , Hardcover Book , Book , LP en CD )