Foundational Theories of Classical and Constructive Mathematics - Sommaruga, Giovanni (The Western Ontario Series in Philosophy of Science Ser.)