Proof, Logic and Formalization
Author | : Michael Detlefsen |
Publisher | : Routledge |
Total Pages | : 251 |
Release | : 2005-07-08 |
ISBN-10 | : 9781134975280 |
ISBN-13 | : 1134975287 |
Rating | : 4/5 (80 Downloads) |
Book Synopsis Proof, Logic and Formalization by : Michael Detlefsen
Download or read book Proof, Logic and Formalization written by Michael Detlefsen and published by Routledge. This book was released on 2005-07-08 with total page 251 pages. Available in PDF, EPUB and Kindle. Book excerpt: A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.