Foundational Theories of Classical and Constructive Mathematics Foundational Theories of Classical and Constructive Mathematics 2 readers 2011