ISBN 9783540121732 books & textbook
Foundations of Constructive Mathematics: Metamathematical Studies (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics)
Springer /1985-03-01 Hardcover / 466 Pages
isbn-10: 3540121730 / isbn-13: 9783540121732
