Foundations of Constructive Mathematics Engli... Foundations of Constructive Mathematics English, Paperback, Beeson M.J. 9783642689543