Proof and knowledge in mathematics/ edited by Michael Detlefsen. - London: Routledge, 1992. - 256 p.; 22 cm.

0415068053


Mathematics--Philosophy.
Logic, Symbolic and mathematical.