Studies in constructive mathematics and mathematical logic