Proof, Logic and Formalization

1st Edition

Michael Detlefsen

Published May 8, 2015
ISBN 9781138009073 - CAT# Y164326

For Instructors Request Inspection Copy


Add to Wish List
FREE Standard Shipping!


The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.


We provide complimentary e-inspection copies of primary textbooks to instructors considering our books for course adoption.

Request an
e-inspection copy

Share this Title