Structural Proof Theory
Normal Price: $72.95
Your Price: $65.66 AUD, inc. GST
Shipping: $7.95 per order
You Save: $7.30! (10% off normal price)
Plus...earn $3.28 in Boomerang Bucks
Availability: Available to Backorder, No Due Date for Supply
Structural Proof Theory by Professor Sara Negri
Book DescriptionStructural 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.
Buy Structural Proof Theory book by Professor Sara Negri from Australia's Online Bookstore, Boomerang Books.
Book DetailsISBN: 9780521068420
(228mm x 152mm x 16mm)
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 10-Jul-2008
Country of Publication: United Kingdom
Books By Author Professor Sara Negri
Proof Analysis, Paperback (June 2014)
Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic.
Structural Proof Theory, Hardback (June 2001)» View all books by Professor Sara Negri
A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.
» Have you read this book? We'd like to know what you think about it - write a review about Structural Proof Theory book by Professor Sara Negri and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)
Phone: 1300 36 33 32 (9am-2pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2016. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687