Goodreads helps you keep track of books you want to read.
Start by marking “Normalization, Cut-Elimination, and the Theory of Proofs” as Want to Read:
Normalization, Cut-Elimination, and the Theory of Proofs
Enlarge cover
Rate this book
Clear rating
Open Preview

Normalization, Cut-Elimination, and the Theory of Proofs

really liked it 4.0  ·  Rating Details ·  1 Rating  ·  0 Reviews
Gentzen's cut-elimination theorem is widely used as a tool for meta-mathematical investigations. It is sometimes claimed however that the theorem and its proof have interest which is independent of these applications and derives from the information they supply about the structure of proofs in general. Ungar investigates this claim in the context of first order logic. Unga ...more
Paperback, 236 pages
Published June 10th 1992 by Center for the Study of Language and Inf (first published February 1st 1992)
More Details... edit details

Friend Reviews

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

Reader Q&A

Be the first to ask a question about Normalization, Cut-Elimination, and the Theory of Proofs

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

Community Reviews

(showing 1-3)
filter  |  sort: default (?)  |  Rating Details
John
John rated it really liked it
Aug 20, 2014
K.
K. marked it as to-read
Mar 18, 2016
Leonard Ferguson
Leonard Ferguson marked it as to-read
Mar 30, 2016
There are no discussion topics on this book yet. Be the first to start one »

Share This Book