Structural Proof Theory by Professor Sara Negri
Look inside with Google Book Preview
Structural Proof Theory
By Professor Sara Negri

Structural Proof Theory

By (author) See other recent books by Professor Sara Negri See other recent books by Jan von Plato
Appendix by Aarne Ranta See other recent books by Aarne Ranta
Format: Hardback

Normal Price: $165.00
Your Price: $148.50 AUD, inc. GST
Shipping: $7.95 per order
You Save: $16.50! (10% off normal price)
Plus...earn $7.43 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply



Structural Proof Theory by Professor Sara Negri

Book 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 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 Details

ISBN: 9780521793070
ISBN-10: 0521793076
Format: Hardback
(228mm x 152mm x 17mm)
Pages: 276
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 18-Jun-2001
Country of Publication: United Kingdom

Other Editions...


Books By Author Professor Sara Negri

Proof Analysis by 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 by Professor Sara Negri Structural Proof Theory, Paperback (July 2008)

A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.

» View all books by Professor Sara Negri

Reviews

» 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!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Professor Sara Negri close
Proof Analysis by Professor Sara Negri
Proof Analysis by Professor Sara Negri
Structural Proof Theory by Professor Sara Negri
»
Recent books by Jan von Plato close
Proof Analysis by Jan von Plato
Elements of Logical Reasoning by Jan von Plato
Elements of Logical Reasoning by Jan von Plato
Proof Analysis by Jan von Plato
Structural Proof Theory by Jan von Plato
Structural Proof Theory by Jan von Plato
Creating Modern Probability by Jan von Plato
Creating Modern Probability by Jan von Plato
»
Recent books by Aarne Ranta close
Structural Proof Theory by Aarne Ranta
Structural Proof Theory by Aarne Ranta
Type-theoretical Grammar by Aarne Ranta
»
BoomerangBooks.com.au close