Foundation of constructive mathematics mathematical studies - Beeson Michael J (Berlin Springer-Verlag, 1985)
Keywords: Construtive mathematics; Mathematical logic