Proof and knowledge in mathematics. - Detlefsen, Michael (Routledge, 1992)