Title: Studies in constructive mathematics and mathematical logic
Subjects: Constructive mathematics, Logic, symbolic and mathematical, Symbolic and mathematical Logic