Handbook of Constructive Mathematics (Encyclopedia of Mathematics and its Applications) - Hardcover

Hardcover

ISBN 10: 1316510867 ISBN 13: 9781316510865

Publisher: Cambridge University Press, 2023

Synopsis

Gives a complete overview of modern constructive mathematics and its applications through surveys by leading experts.

About this title

About the Authors

Douglas Bridges is Professor Emeritus of Pure Mathematics at University of Canterbury, Christchurch, New Zealand. He is co-author, with the late Errett Bishop, of the monograph Constructive Analysis, as well as seven other books and almost 200 research papers in constructive mathematics.

Hajime Ishihara is Professor of Mathematical Logic at Japan Advanced Institute of Science and Technology (JAIST). He has worked for over thirty years in constructive mathematics and mathematical logic, in which he is known for introducing 'Ishihara's tricks' and for opening up constructive reverse mathematics.

Michael Rathjen was Professor of Mathematics at the Ohio State University and is currently Professor of Mathematics at the University of Leeds, England. His main research area is mathematical logic, especially proof theory, ordinal analysis, constructive and alternative set theories as well as intuitionism.

Helmut Schwichtenberg is Professor Emeritus of Mathematics at Ludwig-Maximilians-Universität, Munich, Germany. He is co-author of the monographs Basic Proof Theory (1996, 2000) and Proofs and Computations (2012).

Edition details

• Publisher: Cambridge University Press
• Publication date: 2023
• Language: English
• ISBN 10: 1316510867
• ISBN 13: 9781316510865
• Binding: Hardcover
• Number of pages: 862
• Editor: Bridges Douglas, Ishihara Hajime, Rathjen Michael, Schwichtenberg Helmut