Ebook Info
- Published: 2008
- Number of pages: 276 pages
- Format: PDF
- File Size: 5.15 MB
- Authors: Sara Negri
Description
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.
User’s Reviews
Editorial Reviews: Review “….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 Book Description A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.
Keywords
Free Download Structural Proof Theory 1st Edition in PDF format
Structural Proof Theory 1st Edition PDF Free Download
Download Structural Proof Theory 1st Edition 2008 PDF Free
Structural Proof Theory 1st Edition 2008 PDF Free Download
Download Structural Proof Theory 1st Edition PDF
Free Download Ebook Structural Proof Theory 1st Edition