Foundations Of Constructive Mathematics By M J Beeson