Handbook of constructive mathematics

• Titel: Handbook of constructive mathematics
• Mitwirkende: Bridges, Douglas S. [HerausgeberIn]
• Mitwirkende: Ishihara, Hajime [HerausgeberIn]
• Mitwirkende: Rathjen, Michael [HerausgeberIn]
• Mitwirkende: Schwichtenberg, Helmut [HerausgeberIn]
• Verf.angabe: edited by Douglas Bridges (University of Canterbury), Hajime Ishihara (Japan Advanced Institute of Science and Technology), Michael Rathjen (University of Leeds), Helmut Schwichtenberg (Ludwig Maximilian University of Munich)
• Verlagsort: Cambridge, United Kingdom ; New York, NY, USA ; Port Melbourne, VIC, Australia ; New Delhi, India ; Singapore
• Verlag: Cambridge University Press
• Jahr: 2023
• Umfang: 1 Online-Ressource (xix, 841 Seiten)
• Illustrationen: Diagramme
• Gesamttitel/Reihe: Encyclopedia of mathematics and its applications ; 185
• Fussnoten: Also issued in print: 2023. - Includes bibliographical references and index. - Description based on online resource; title from PDF title page (viewed on May 24, 2023)
• ISBN: 978-1-009-03988-8
• DOI: doi:10.1017/9781009039888
• Schlagwörter: (s)Intuitionistische Logik / (s)Konstruktive Analysis / (s)Algebra / (s)Topologie / (s)Auswahlaxiom / (s)Numerische Mathematik
• Datenträger: Online-Ressource
• Sprache: eng
• Bibliogr. Hinweis: Erscheint auch als : Druck-Ausgabe: Handbook of constructive mathematics. - Cambridge, United Kingdom : Cambridge University Press, 2023. - xix, 841 Seiten
• K10plus-PPN: 185059953X
• K10plus-PPN:
  Universitätsbibliothek
• Lokale URL UB: Zum Volltext

Abstract

This handbook gives a complete overview of modern constructive mathematics - mathematics in which 'there exists' always means 'we can construct' - and its applications. Written and edited by leading experts, it is an indispensable reference for established constructive mathematicians and guide to the field for graduate students and other newcomers.