Foundations of Constructive Mathematics by M.J. Beeson