rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9780521068420

Structural Proof Theory

by
  • ISBN13:

    9780521068420

  • ISBN10:

    0521068428

  • Edition: 1st
  • Format: Paperback
  • Copyright: 2008-07-10
  • Publisher: Cambridge University Press

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $59.99 Save up to $17.25
  • Rent Book $42.74
    Add to Cart Free Shipping Icon Free Shipping

    TERM
    PRICE
    DUE
    SPECIAL ORDER: 1-2 WEEKS
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

How To: Textbook Rental

Looking to rent a book? Rent Structural Proof Theory [ISBN: 9780521068420] for the semester, quarter, and short term or search our site for other textbooks by Sara Negri , Jan von Plato , Appendix by Aarne Ranta. Renting a textbook can save you up to 90% from the cost of buying.

Summary

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.

Table of Contents

Introduction
From natural deduction to sequent calculus
Sequent calculus for institutionistic logic
Sequent calculus for classical logic
The quantifiers
Variants of sequent calculi
Structural proof analysis of axiomatic theories
Intermediate logical systems
Back to natural deduction
Conclusion: diversity and unity in structural proof theory
Simple type theory and categorical grammar
Proof theory and constructive type theory
A proof editor for sequent calculus
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program