Items related to Basic Proof Theory (Cambridge Tracts in Theoretical...
Synopsis
Basic Proof Theory Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Full description
"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.
- PublisherCambridge University Press
- Publication date2000
- ISBN 10 0521784522
- ISBN 13 9780521784528
- BindingPaperback
- LanguageEnglish
- Edition number2
- Number of pages430
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
