Foundations of Constructive Mathematics door M.J. Beeson