00816nam a2200217 4500 1/641 010518s1985 enk eng 3540121730 657 DLC GR-PeUP 511.3 BE Beeson, Michael J., 1945- Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson. Berlin : Springer-Verlag, 1985 xxiii, 466 p. : ill. ; 25 cm. Ergebnisse der Mathematik und ihrer Grenzgebiete ; Includes bibliography and indexes. Constructive mathematics. Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3 INST UNIPILB MAIN 20040709 511.3 BE 00136434 00136434 LOAN 0 1 /webopac/covers/03/657_3540121730.jpg