Structural Proof Theory (Hardcover)
Sara Negri, Jan von PlatoStructural 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.
R2,598
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
25980
@R243pm x 12* 
Ships in 12 - 17 working days
Add to wish listReview this Item
Donate to Against Period Poverty
Product 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.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Cambridge UniversityPress |
Country of origin | United Kingdom |
Release date | June 2001 |
Availability | Expected to ship within 12 - 17 working days |
First published | 2001 |
Authors | Sara Negri, Jan von Plato |
Appendix by | Aarne Ranta |
Dimensions | 229 x 152 x 17mm (L x W x T) |
Format | Hardcover |
Pages | 276 |
ISBN-13 | 978-0-521-79307-0 |
Barcode | 9780521793070 |
Categories | |
LSN | 0-521-79307-6 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
