Foundations of constructive mathematics: metamathematical studies/
Beeson, Michael J., 1945-
Foundations of constructive mathematics: metamathematical studies/ Michael J. Beeson. - Berlin ; New York: Springer-Verlag, c1985. - xxiii, 466 p.: ill.; 25 cm. - Ergebnisse der Mathematik und ihrer Grenzgebiete; 3. Folge, Bd. 6 .
Includes indexes.
Bibliography: p. [439]-449.
0387121730 (U.S.)
84010583
Constructive mathematics.
511.3 / B415f
Foundations of constructive mathematics: metamathematical studies/ Michael J. Beeson. - Berlin ; New York: Springer-Verlag, c1985. - xxiii, 466 p.: ill.; 25 cm. - Ergebnisse der Mathematik und ihrer Grenzgebiete; 3. Folge, Bd. 6 .
Includes indexes.
Bibliography: p. [439]-449.
0387121730 (U.S.)
84010583
Constructive mathematics.
511.3 / B415f