Structural Proof Theory
Product details
| Management number | 231815649 | Release Date | 2026/06/18 | List Price | $17.47 | Model Number | 231815649 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated. Read more
| ASIN | B001CPAJH6 |
|---|---|
| XRay | Not Enabled |
| ISBN13 | 978-0511425714 |
| Edition | 1st |
| Language | English |
| File size | 3.2 MB |
| Page Flip | Not Enabled |
| Publisher | Cambridge University Press |
| Word Wise | Not Enabled |
| Print length | 276 pages |
| Accessibility | Learn more |
| Publication date | June 18, 2001 |
| Enhanced typesetting | Not Enabled |
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form