Structural Proof Theory

Name: Structural Proof Theory
SKU: 2398561
Price: 299.00 NZD
Availability: InStock

By:

Format:

Hardback

Show Hide Adult Content

$299.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $74.75 with Afterpay Learn more

6 weekly interest-free payments of $49.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 25 Jun - 5 Jul using International Courier

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. The book contains a wealth of new 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.

Release date NZ

June 18th, 2001

Author

Audience

Professional & Vocational

Contributor

Appendix by Aarne Ranta

Pages

276

Dimensions

160x235x21

ISBN-13

9780521793070

Product ID

2398561

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here