Goodreads helps you keep track of books you want to read.
Start by marking “Basic Proof Theory” as Want to Read:
Basic Proof Theory
Enlarge cover
Rate this book
Clear rating
Open Preview

Basic Proof Theory

3.67  ·  Rating Details ·  6 Ratings  ·  0 Reviews
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-o ...more
Paperback, 432 pages
Published January 13th 2002 by Cambridge University Press (first published September 13th 1996)
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Basic Proof Theory, please sign up.

Be the first to ask a question about Basic Proof Theory

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-36)
filter  |  sort: default (?)  |  Rating Details
John
John rated it really liked it
Aug 20, 2014
Ch0c0late
Ch0c0late rated it liked it
Jan 10, 2016
Joaquim Massapina
Joaquim Massapina rated it liked it
Apr 04, 2013
Carst Tankink
Carst Tankink rated it really liked it
Oct 12, 2010
Randall
Randall rated it really liked it
Sep 06, 2014
Naarbeh
Naarbeh rated it really liked it
Aug 22, 2016
Inna
Inna marked it as to-read
Jan 22, 2010
David Scarratt
David Scarratt marked it as to-read
Jul 26, 2011
Chris
Chris added it
Nov 17, 2011
Peter
Peter marked it as to-read
Dec 03, 2011
Alexey
Alexey added it
Jan 10, 2012
Cameron
Cameron marked it as to-read
Feb 08, 2012
Alexander Korneev
Alexander Korneev marked it as to-read
Mar 22, 2012
Shirley
Shirley marked it as to-read
Oct 29, 2012
Thắng Thao
Thắng Thao marked it as to-read
Nov 02, 2012
Ayar
Ayar marked it as to-read
Dec 09, 2012
Dina Taha
Dina Taha marked it as to-read
Jan 07, 2013
Jakob
Jakob marked it as to-read
Jan 17, 2013
Safa
Safa marked it as to-read
Jan 25, 2013
Martisch
Martisch marked it as to-read
Apr 26, 2012
Chris
Chris marked it as to-read
Feb 07, 2013
Karol
Karol marked it as to-read
Feb 18, 2013
Robert Laukhuff
Robert Laukhuff marked it as to-read
May 27, 2013
Jennifer
Jennifer marked it as to-read
Jul 03, 2013
Alicia
Alicia marked it as to-read
Jul 18, 2013
Jiarui
Jiarui marked it as to-read
Aug 31, 2013
Philip Ngem
Philip Ngem marked it as to-read
Sep 23, 2013
Nafisa Abdiwali
Nafisa Abdiwali marked it as to-read
Oct 19, 2013
Thomas
Thomas marked it as to-read
Nov 02, 2013
Bianca Gibson
Bianca Gibson marked it as to-read
Dec 22, 2013
There are no discussion topics on this book yet. Be the first to start one »

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »

Share This Book