Michael Detlefsen Proof and Knowledge in Mathematics - Routledge 1992 ISBN: 9780415068055 Subjects--Topical Terms: GeneralLogic, Symbolic and mathematical.,Mathematics--Philosophy.,Proof theory.PHILOSOPHY