Undecidable: Basic Papers on Problems Propositions Unsolvable Problems and Computable Functions

By Martin D. Davis

Book Overview

An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with G del's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0911216014
• ISBN13: 9780911216011
• Release Date: January 1965
• Publisher: Raven Pr
• Length: 446 Pages
• Weight: 2.10 lbs.
• Dimensions: 9.8" x 1.3" x 6.8"