Proofs and Computations

by Stanley S. Wainer, Helmut Schwichtenberg, Stanley S Wainer

Book Overview

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0521517699
• ISBN13: 9780521517690
• Release Date: January 2012
• Publisher: Cambridge University Press
• Length: 480 Pages
• Weight: 1.90 lbs.
• Dimensions: 1.2" x 6.3" x 9.3"