Skip to content
Register Sign in Wishlist
Basic Proof Theory

Basic Proof Theory

2nd Edition

CAD$68.95 (P)

Part of Cambridge Tracts in Theoretical Computer Science

  • Date Published: July 2000
  • availability: Available
  • format: Paperback
  • isbn: 9780521779111

CAD$ 68.95 (P)

Add to cart Add to wishlist

Other available formats:

Looking for an examination copy?

This title is not currently available for examination. However, if you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact providing details of the course you are teaching.

Product filter button
About the Authors
  • This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. For the new edition, they have rewritten many sections to improve clarity, added new sections on cut elimination, and included solutions to selected exercises. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence.

    • Fills the gap between basic textbooks on logic and advanced monographs on proof theory
    • Brings together basic results which are spread over many papers and books in the literature
    • Written by two of the world's leading authorities
    Read more

    Reviews & endorsements

    'This is a fine book. Any computer scientist with some logical background will benefit from studying it. It is written by two of the experts in the field and comes up to their usual standards of precision and care.' Ray Turner, Computer Journal

    Customer reviews

    Not yet reviewed

    Be the first to review

    Review was not posted due to profanity


    , create a review

    (If you're not , sign out)

    Please enter the right captcha value
    Please enter a star rating.
    Your review must be a minimum of 12 words.

    How do you rate this item?


    Product details

    • Edition: 2nd Edition
    • Date Published: July 2000
    • format: Paperback
    • isbn: 9780521779111
    • length: 432 pages
    • dimensions: 227 x 154 x 23 mm
    • weight: 0.595kg
    • contains: 3 b/w illus. 201 exercises
    • availability: Available
  • Table of Contents

    1. Introduction
    2. N-systems and H-systems
    3. Gentzen systems
    4. Cut elimination with applications
    5. Bounds and permutations
    6. Normalization for natural deduction
    7. Resolution
    8. Categorical logic
    9. Modal and linear logic
    10. Proof theory of arithmetic
    11. Second-order logic
    Solutions to selected exercises. Bibliography
    Symbols and notation

  • Authors

    A. S. Troelstra, Universiteit van Amsterdam

    H. Schwichtenberg, Universität Munchen

Sign In

Please sign in to access your account


Not already registered? Create an account now. ×

Sorry, this resource is locked

Please register or sign in to request access. If you are having problems accessing these resources please email

Register Sign in
Please note that this file is password protected. You will be asked to input your password on the next screen.

» Proceed

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner Please see the permission section of the catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×

Continue ×

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.


Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

Please fill in the required fields in your feedback submission.