Proof and knowledge in mathematics - Detlefsen, Michael (London: Routledge, 1992)
Keywords: Mathematics -- Philosophy; Logic, Symbolic and mathematical