Foundational Theories of Classical and Constructive Mathematics - Sommaruga, Giovanni (Springer Netherlands : Imprint: Springer, 2011)