Foundations of Constructive Mathematics
Subtitle: Metamathematical Studies
Publisher: Brand: Springer; Springer-Verlag
Published: Nov 18, 2011
Format: paperback
Number of pages: 496
ISBN-13: 9783642689543
Notes: Source title: Foundations of Constructive Mathematics: Metamathematical Studies (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics)