FOUNDATIONS OF CONSTRUCTIVE MATHEMATICS - Beeson, Michael J. (Berlin Springer-Verlag, 1985)
Keywords: Constructive Mathematics