Foundations of constructive mathematics: Metamathematical Studies
Beeson, Michael J.
Foundations of constructive mathematics: Metamathematical Studies Michael J. Beeson - Berlin Springer 1985
Foundations of constructive mathematics: Metamathematical Studies Michael J. Beeson - Berlin Springer 1985