Title: Foundations of Constructive Mathematics
Subjects: Constructive mathematics, Mathematics, Symbolic and mathematical Logic, Mathematical Logic and Foundations