Proof and knowledge in mathematics /
Detlefsen, Michael,1948-
London : Routledge,
1992.
Includes bibliographical references.
Mathematics
Logic, Symbolic and mathematical.