Text this: Studies in Constructive Mathematics and Mathematical Logic :