Skip to content
Scan a barcode
Scan
Hardcover Proofs and Computations Book

ISBN: 0521517699

ISBN13: 9780521517690

Proofs and Computations

(Part of the Perspectives in Logic Series)

Select Format

Select Condition ThriftBooks Help Icon

Recommended

Format: Hardcover

Condition: New

$90.79
Save $1.20!
List Price $91.99
50 Available
Ships within 2-3 days

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.

Related Subjects

Math Mathematics Science & Math

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured