Proof Analysis: A Contribution to Hilbert's Last Problem

by Sara Negri and Jan von Plato

Book Overview

This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1107417236
• ISBN13: 9781107417236
• Release Date: June 2014
• Publisher: Cambridge University Press
• Length: 278 Pages
• Weight: 0.98 lbs.
• Dimensions: 0.6" x 6.7" x 9.6"