Foundational Theories of Classical and Constructive Mathematics - Sommaruga, Giovanni; SpringerLink (Online service) (Dordrecht : Springer Netherlands, 2011)
Keywords: Mathematics; Logic; Science -- Philosophy; Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations; Philosophy of Science; Logic