Overview
Part of the book series: Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics (MATHE3, volume 6)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (17 chapters)
-
Practice and Philosophy of Constructive Mathematics
-
Formal Systems of the Seventies
-
Metamathematical Studies
Keywords
About this book
Authors and Affiliations
Bibliographic Information
Book Title: Foundations of Constructive Mathematics
Book Subtitle: Metamathematical Studies
Authors: Michael J. Beeson
Series Title: Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics
DOI: https://doi.org/10.1007/978-3-642-68952-9
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1985
Softcover ISBN: 978-3-642-68954-3Published: 18 November 2011
eBook ISBN: 978-3-642-68952-9Published: 06 December 2012
Series ISSN: 0071-1136
Series E-ISSN: 2197-5655
Edition Number: 1
Number of Pages: XXIII, 466