Fortell venner om denne varen:
Theorem Proving with the Real Numbers - Distinguished Dissertations John Harrison Softcover reprint of the original 1st ed. 1998 edition
Pris
NOK 979
Bestillingsvarer
Forventes levert 3. - 11. nov
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra John Harrison
Legg til iMusic ønskeliste
eller
Theorem Proving with the Real Numbers - Distinguished Dissertations
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 20. november 2011 |
| ISBN13 | 9781447115939 |
| Utgivere | Springer London Ltd |
| Antall sider | 186 |
| Mål | 155 × 235 × 10 mm · 285 g |
| Språk | Engelsk |
![Cover for John Harrison · Study Skills for Criminology - Sage Study Skills Series (Pocketbok) [2 Revised edition] (2011)](https://imusic.b-cdn.net/images/item/original/942/9781849207942.jpg?john-harrison-2011-study-skills-for-criminology-sage-study-skills-series-pocketbok&class=scaled&v=1415886758)
![Cover for Michael Strupp · Ocular Motor Disorders and Vertigo: Diagnosis and Management (Pocketbok) [2023 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Handbook of Remote Biometrics: For Surveillance and Security - Advances in Computer Vision and Pattern Recognition (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/403/9781447173403.jpg?2027-handbook-of-remote-biometrics-for-surveillance-and-security-advances-in-computer-vision-and-pattern-recognition-innbunden-bok&class=scaled&v=1692375324)
![Cover for Sandra Furterer · Lean Six Sigma for the Healthcare Enterprise: Methods, Tools and Applications (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/169/9781447176169.jpg?sandra-furterer-2026-lean-six-sigma-for-the-healthcare-enterprise-methods-tools-and-applications-innbunden-bok&class=scaled&v=1777979326)
![Cover for Jose Bacelar Almeida · Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science (Pocketbok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/575/9781447175575.jpg?jose-bacelar-almeida-2026-rigorous-software-development-an-introduction-to-program-verification-undergraduate-topics-in-computer-science-pocketbok&class=scaled&v=1759173936)
![Cover for Stephen Goundrey-Smith · Information Technology in Pharmacy: An Integrated Approach - Health Informatics (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/121/9781447176121.jpg?stephen-goundrey-smith-2026-information-technology-in-pharmacy-an-integrated-approach-health-informatics-innbunden-bok&class=scaled&v=1778115485)
![Cover for Jon Peddie · The History of Visual Magic in Computers: How it led to AI (Pocketbok) [Second Edition 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/520/9781447175520.jpg?jon-peddie-2026-the-history-of-visual-magic-in-computers-how-it-led-to-ai-pocketbok&class=scaled&v=1751968510)
![Cover for M. A. Al-Gwaiz · Sturm–Liouville Theory and its Applications - Springer Undergraduate Mathematics Series (Pocketbok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/091/9781447176091.jpg?m-a-al-gwaiz-2026-sturm-liouville-theory-and-its-applications-springer-undergraduate-mathematics-series-pocketbok&class=scaled&v=1760968453)
![Cover for Robert D. Crapnell · The Handbook of Graphene Electrochemistry (Pocketbok) [Second Edition 2024 edition] (2025)](https://imusic.b-cdn.net/images/item/original/384/9781447175384.jpg?robert-d-crapnell-2025-the-handbook-of-graphene-electrochemistry-pocketbok&class=scaled&v=1760728041)
![Cover for John Vince · Mathematics for Computer Graphics - Undergraduate Topics in Computer Science (Pocketbok) [Seventh Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/490/9781447175490.jpg?john-vince-2025-mathematics-for-computer-graphics-undergraduate-topics-in-computer-science-pocketbok&class=scaled&v=1735144367)
![Cover for Raul Poler · Operations Research Problems: Statements and Solutions (Innbunden bok) [Second Edition 2025 edition] (2025)](https://imusic.b-cdn.net/images/item/original/452/9781447175452.jpg?raul-poler-2025-operations-research-problems-statements-and-solutions-innbunden-bok&class=scaled&v=1735155141)
![Cover for Nigel Cross · Designerly Ways of Knowing and Thinking (Innbunden bok) [Second Edition 2025 edition] (2024)](https://imusic.b-cdn.net/images/item/original/407/9781447175407.jpg?nigel-cross-2024-designerly-ways-of-knowing-and-thinking-innbunden-bok&class=scaled&v=1750950288)
![Cover for Robert D. Crapnell · The Handbook of Graphene Electrochemistry (Innbunden bok) [Second Edition 2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/353/9781447175353.jpg?robert-d-crapnell-2024-the-handbook-of-graphene-electrochemistry-innbunden-bok&class=scaled&v=1758025341)
![Cover for Marco Cantamessa · Management of Innovation and Product Development: Integrating Business and Technological Perspectives (Pocketbok) [Second Edition 2023 edition] (2024)](https://imusic.b-cdn.net/images/item/original/339/9781447175339.jpg?marco-cantamessa-2024-management-of-innovation-and-product-development-integrating-business-and-technological-perspectives-pocketbok&class=scaled&v=1749948978)
![Cover for Wolfgang Aigner · Visualization of Time-Oriented Data - Human–Computer Interaction Series (Innbunden bok) [2nd ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/261/9781447175261.jpg?wolfgang-aigner-2023-visualization-of-time-oriented-data-human-computer-interaction-series-innbunden-bok&class=scaled&v=1670069382)
![Cover for Wolfgang Aigner · Visualization of Time-Oriented Data - Human–Computer Interaction Series (Pocketbok) [2nd ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/292/9781447175292.jpg?wolfgang-aigner-2023-visualization-of-time-oriented-data-human-computer-interaction-series-pocketbok&class=scaled&v=1694243460)
![Cover for Hoang Pham · Springer Handbook of Engineering Statistics - Springer Handbooks (Innbunden bok) [Second Edition 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/025/9781447175025.jpg?hoang-pham-2023-springer-handbook-of-engineering-statistics-springer-handbooks-innbunden-bok&class=scaled&v=1694227221)
![Cover for Marco Cantamessa · Management of Innovation and Product Development: Integrating Business and Technological Perspectives (Innbunden bok) [Second Edition 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/308/9781447175308.jpg?marco-cantamessa-2023-management-of-innovation-and-product-development-integrating-business-and-technological-perspectives-innbunden-bok&class=scaled&v=1680524706)
![Cover for Tomayess Issa · Sustainable Design: HCI, Usability and Environmental Concerns (Pocketbok) [Second Edition 2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/155/9781447175155.jpg?tomayess-issa-2023-sustainable-design-hci-usability-and-environmental-concerns-pocketbok&class=scaled&v=1694231226)
![Cover for John Vince · Quaternions for Computer Graphics (Pocketbok) [Second Edition 2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/117/9781447175117.jpg?john-vince-2022-quaternions-for-computer-graphics-pocketbok&class=scaled&v=1694731004)
![Cover for John Vince · Vector Analysis for Computer Graphics (Pocketbok) [Second Edition 2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/070/9781447175070.jpg?john-vince-2022-vector-analysis-for-computer-graphics-pocketbok&class=scaled&v=1654415260)
![Cover for Siegfried Bosch · Algebraic Geometry and Commutative Algebra - Universitext (Pocketbok) [2nd ed. 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/223/9781447175223.jpg?siegfried-bosch-2022-algebraic-geometry-and-commutative-algebra-universitext-pocketbok&class=scaled&v=1694650369)
![Cover for Case-Based Clinical Cardiology (Pocketbok) [2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/981/9781447174981.jpg?2022-case-based-clinical-cardiology-pocketbok&class=scaled&v=1749418573)
![Cover for Golshan Latifi · In Vivo Confocal Microscopy in Eye Disease (Pocketbok) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/162/9781447175162.jpg?golshan-latifi-2022-in-vivo-confocal-microscopy-in-eye-disease-pocketbok&class=scaled&v=1749984718)
![Cover for Tomayess Issa · Sustainable Design: HCI, Usability and Environmental Concerns (Innbunden bok) [Second Edition 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/124/9781447175124.jpg?tomayess-issa-2022-sustainable-design-hci-usability-and-environmental-concerns-innbunden-bok&class=scaled&v=1646023933)
![Cover for John Vince · Quaternions for Computer Graphics (Innbunden bok) [Second Edition 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/087/9781447175087.jpg?john-vince-2021-quaternions-for-computer-graphics-innbunden-bok&class=scaled&v=1625428011)
![Cover for Bone Tumors: Diagnosis and Therapy Today (Innbunden bok) [1st ed. 2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/998/9781447174998.jpg?2021-bone-tumors-diagnosis-and-therapy-today-innbunden-bok&class=scaled&v=1615222868)
![Cover for Case-Based Clinical Cardiology (Innbunden bok) [2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/950/9781447174950.jpg?2021-case-based-clinical-cardiology-innbunden-bok&class=scaled&v=1609102883)
![Cover for Subhes C. Bhattacharyya · Energy Economics: Concepts, Issues, Markets and Governance (Pocketbok) [Second Edition 2019 edition] (2020)](https://imusic.b-cdn.net/images/item/original/707/9781447174707.jpg?subhes-c-bhattacharyya-2020-energy-economics-concepts-issues-markets-and-governance-pocketbok&class=scaled&v=1608767777)
![Cover for Ke-Lin Du · Neural Networks and Statistical Learning (Pocketbok) [Second Edition 2019 edition] (2020)](https://imusic.b-cdn.net/images/item/original/547/9781447174547.jpg?ke-lin-du-2020-neural-networks-and-statistical-learning-pocketbok&class=scaled&v=1605482701)
![Cover for Jan-Erik Vinnem · Offshore Risk Assessment Vol. 1: Principles, Modelling and Applications of QRA Studies - Springer Series in Reliability Engineering (Pocketbok) [Fourth Edition 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/462/9781447174462.jpg?jan-erik-vinnem-2020-offshore-risk-assessment-vol-1-principles-modelling-and-applications-of-qra-studies-springer-series-in-reliability-engineering-pocketbok&class=scaled&v=1694495642)
![Cover for Jan-Erik Vinnem · Offshore Risk Assessment Vol. 2: Principles, Modelling and Applications of QRA Studies - Springer Series in Reliability Engineering (Pocketbok) [Fourth Edition 2020 edition] (2020)](https://imusic.b-cdn.net/images/item/original/509/9781447174509.jpg?jan-erik-vinnem-2020-offshore-risk-assessment-vol-2-principles-modelling-and-applications-of-qra-studies-springer-series-in-reliability-engineering-pocketbok&class=scaled&v=1612142376)
![Cover for Web Accessibility: A Foundation for Research - Human–Computer Interaction Series (Pocketbok) [Second Edition 2019 edition] (2020)](https://imusic.b-cdn.net/images/item/original/424/9781447174424.jpg?2020-web-accessibility-a-foundation-for-research-human-computer-interaction-series-pocketbok&class=scaled&v=1615230958)