Items related to Basic Proof Theory (Cambridge Tracts in Theoretical...
Synopsis
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
"synopsis" may belong to another edition of this title.
Review
'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
Book Description
This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
"About this title" may belong to another edition of this title.
Search results for Basic Proof Theory (Cambridge Tracts in Theoretical...
Stock Image
Basic proof Theory
Published by
Cambridge University Press, 1996
ISBN 10: 0521572231
ISBN 13: 9780521572231
Used
Hardcover
Seller: BOOK2BUY, Lynbrook, NY, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Hardcover - clean, no marks, clean inside, no dj - from a private collection -. Seller Inventory # 38150-36.250728