+612 9045 4394
Basic Proof Theory : Cambridge Tracts in Theoretical Computer Science (Paperback) - A. S. Troelstra

Basic Proof Theory

Cambridge Tracts in Theoretical Computer Science (Paperback)

Paperback Published: 15th September 2000
ISBN: 9780521779111
Number Of Pages: 432

Share This Book:


RRP $67.95
Ships in 10 to 15 business days

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.

'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

N-systems and H-systems
Gentzen systems
Cut elimination with applications
Bounds and permutations
Normalization for natural deduction
Categorical logic
Modal and linear logic
Proof theory of arithmetic
Second-order logic
Solutions to selected exercises
Symbols and notation
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780521779111
ISBN-10: 0521779111
Series: Cambridge Tracts in Theoretical Computer Science (Paperback)
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 432
Published: 15th September 2000
Country of Publication: GB
Dimensions (cm): 22.81 x 15.9  x 2.62
Weight (kg): 0.63
Edition Number: 2
Edition Type: Revised