Title: Studies in constructive mathematics and mathematical logic