Studies in Constructive Mathematics and Mathematical Logic