Freunden von diesem Artikel berichten:
Theorem Proving with the Real Numbers - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition
John Harrison
Preis
€ 125,99
Bestellware
Lieferdatum: ca. 16. - 25. Dez
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 20. November 2011 |
| ISBN13 | 9781447115939 |
| Verlag | Springer London Ltd |
| Seitenanzahl | 186 |
| Maße | 155 × 235 × 10 mm · 285 g |
| Sprache | Englisch |
Alle anzeigen
Weitere Titel von John Harrison
Andere haben auch gekauft
![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 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 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 Bananarama · Deep Sea Skiving (LP/CD) [Coll edition] (2019)](https://imusic.b-cdn.net/images/item/original/230/5060555212230.jpg?bananarama-2019-deep-sea-skiving-lp-cd&class=scaled&v=1540654686)
![Cover for Alan Menken · The Little Mermaid - OST (LP) [Picture Disc edition] (2014)](https://imusic.b-cdn.net/images/item/original/133/0050087304133.jpg?alan-menken-2014-the-little-mermaid-ost-lp&class=scaled&v=1412940855)
![Cover for Barry Manilow · Tryin' to Get the Feeling (LP) [Numbered Red Vinyl edition] (2023)](https://imusic.b-cdn.net/images/item/original/135/8719262028135.jpg?barry-manilow-2023-tryin-to-get-the-feeling-lp&class=scaled&v=1726737705)
![Cover for Barry Manilow · This One's For You (LP) [Limited Orange & Black Marbled edition] (2023)](https://imusic.b-cdn.net/images/item/original/159/8719262028159.jpg?barry-manilow-2023-this-one-s-for-you-lp&class=scaled&v=1689843175)
![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 PWL Extended: Big Hits & Surprises Vol. 1 (LP) [VOLUME 1 edition] (2023)](https://imusic.b-cdn.net/images/item/original/292/4050538952292.jpg?2023-pwl-extended-big-hits-surprises-vol-1-lp&class=scaled&v=1695205323)
![Cover for Modern Talking · Maxi & Singles Collection (CD) [Dieter Bohlen edition] (2019)](https://imusic.b-cdn.net/images/item/original/529/0190759799529.jpg?modern-talking-2019-maxi-singles-collection-cd&class=scaled&v=1573321219)
![Cover for Blue System · Maxi & Singles Collection (CD) [Dieter Bohlen edition] (2019)](https://imusic.b-cdn.net/images/item/original/628/0190759799628.jpg?blue-system-2019-maxi-singles-collection-cd&class=scaled&v=1574929707)
![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)
Alle Titel von John Harrison ansehen ( u. a. Taschenbuch , Gebundenes Buch , Buch , LP und CD )