000 00484nam a22001337a 4500
005 20240731073659.0
008 240731b |||||||| |||| 00| 0 eng d
020 _a3540121730
041 _aeng
082 _a511.3
_bBEE/F
245 _aFoundations of Constructive Mathematics
_bMetamathematical Studies (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics
_c/by Michael J. Beeson
260 _aBerlin:
_bSpringer,
_c1985.
942 _cBK
999 _c28247
_d28247