Foundational Theories of Classical and Constructive Mathematics - Giovanni Sommaruga; Sommaruga, Giovanni; Swiss Society for Logic and Philosophy of Science Staff (Springer Netherlands, 2011)