> I have a suggestion: I would be very interested to see Michael Beeson's > Foundations of Constructive Mathematics reprinted. I can't find a copy. Yes, Michael's book is hard to get, as well as: Fred Richman, Douglas Bridges: Varieties of constructive mathematics. With kind regards, Andrej