Foundations of Constructive Mathematics, volume 6 of Ergebnisse der Mathematik and ihrer Grenzgebiete . Springer-Verlag (1985)

by M Beeson