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
Stock Image
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) (Volume 43)
Published by
Cambridge University Press, 1996
ISBN 10: 0521572231
ISBN 13: 9780521572231
Used
Hardcover
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Fair. Volume 43. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9780521572231. Seller Inventory # 4332747
Buy Used
£ 20.75
£ 13.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Published by
Cambridge University Press, 1996
ISBN 10: 0521572231
ISBN 13: 9780521572231
Used
Hardcover
Seller: Friends of Pima County Public Library, Tucson, AZ, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Hardcover. NOT Ex-library. Good condition. No dust jacket. Until further notice, USPS Priority Mail only reliable option for Hawaii. Proceeds benefit the Pima County Public Library system, which serves Tucson and southern Arizona. Seller Inventory # 529UHD000F0C