+612 9045 4394
 
CHECKOUT
Basic Proof Theory : Cambridge Tracts in Theoretical Computer Science, 43 - A. S. Troelstra

Basic Proof Theory

Cambridge Tracts in Theoretical Computer Science, 43

Paperback

Published: 15th September 2000
RRP $67.95
$60.95
10%
OFF
This title is not in stock at the Booktopia Warehouse and needs to be ordered from our supplier.
Click here to read more about delivery expectations.

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

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

ISBN: 9780521779111
ISBN-10: 0521779111
Series: Cambridge Tracts in Theoretical Computer Science, 43
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 432
Published: 15th September 2000
Publisher: CAMBRIDGE UNIV PR
Country of Publication: GB
Dimensions (cm): 22.23 x 15.24  x 1.91
Weight (kg): 0.59
Edition Number: 2
Edition Type: Revised