- Hardcover: 276 pages
- Publisher: Cambridge University Press; 1 edition (June 18, 2001)
- Language: English
- ISBN-10: 0521793076
- ISBN-13: 978-0521793070
- Product Dimensions: 6 x 0.7 x 9 inches
- Shipping Weight: 1.3 pounds (View shipping rates and policies)
- Average Customer Review: 1 customer review
- Amazon Best Sellers Rank: #2,000,682 in Books (See Top 100 in Books)
Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
To get the free app, enter your mobile phone number.
Structural Proof Theory 1st Edition
Use the Amazon App to scan ISBNs and compare prices.
All Books, All the Time
Read author interviews, book reviews, editors picks, and more at the Amazon Book Review. Read it now
Customers who bought this item also bought
What other items do customers buy after viewing this item?
"....The book makes significant original contributions while remaining accessible to the logician/philosopher/mathematician who wants to learn elementary proof theory...." Aldo Antonelli, University of California, Irvine
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science.A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
Top customer reviews
Overall I found this book to be a really good introduction to the topic. The presentation is clean and efficient, and the proofs are laid out in a good amount of detail, particularly near the beginning of the book when all of the material is really fresh and I wanted to see all the details ironed out. I found I could fill in the gaps myself without too much trouble. There were some errors here and there in the proofs (most notably a persistent confusion in terminology between "axiom" and "instance of bottom elimination"), but none were confusing enough to throw me off.
Really excellent book, cannot recommend it enough for anyone interested in proof structure.