Foundations of Constructive Mathematics Metamathematical Studies (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics
Foundations of Constructive Mathematics Metamathematical Studies (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics
/by Michael J. Beeson
- Berlin: Springer, 1985.
3540121730
511.3 / BEE/F
3540121730
511.3 / BEE/F