Foundations of Constructive Mathematics: Metamathematical Studies (1985)

by M Beeson