000 00512nmm a2200145Ia 4500
008 230201s9999||||xx |||||||||||||||||und||
020 _a9783642689529
100 _aM.J. Beeson
245 0 _aFoundations of Constructive Mathematics
250 _a1985
260 _bSpringer Berlin Heidelberg
_c1985
440 _aErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics
650 _aMathematics and Statistics
856 _uhttps://doi.org/10.1007/978-3-642-68952-9
999 _c22934
_d22934