Michael Detlefsen

Proof and Knowledge in Mathematics - Routledge 1992

9780415068055


General
Logic, Symbolic and mathematical.,Mathematics--Philosophy.,Proof theory.
PHILOSOPHY