The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions
by Martin Davis
$19.99List $24.95Save 20%Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9780486432281
1
Details
- Format
- Paperback
- ISBN-13
- 9780486432281
- Publisher
- Dover Publications
- Published
- February 18, 2004
- Pages
- 413
- Weight
- 18.6 oz
- Subject
- Mathematics
More by Martin Davis
All booksExtensions and Corollaries of Recent Work on Hilbert's Tenth Problem
Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem
Martin Davis
$15.99
A Cartographic Analysis of Soviet Military City Plans
A Cartographic Analysis of Soviet Military City Plans
Martin Davis
$228.99
Handmaiden of The Sun: Book One - Realisation
Handmaiden of The Sun: Book One - Realisation
Martin Davis
$17.99
The Harvest War
The Harvest War
Martin Davis
$14.99
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Martin Davis
$20.99
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi
Martin Davis
$67.99
A Machine Program for Theorem-proving
A Machine Program for Theorem-proving
Martin Davis
$28.99
Diophantine Sets Over Polynomial Rings
Diophantine Sets Over Polynomial Rings
Martin Davis
$15.99
Astrolocality Astrology: A Guide to What It Is and How to Use It
Astrolocality Astrology: A Guide to What It Is and How to Use It
Martin Davis
$20.99
Lecture Notes on Mathematical Logic: Fall 1959
Lecture Notes on Mathematical Logic: Fall 1959
Martin Davis
$26.99
From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
Martin Davis
$128.99
From Here to There
From Here to There
Martin Davis
$28.99
Popular in Mathematics
Browse Mathematics
Six Math Essentials
Terence Tao
$20.99
How to Lie with Statistics
Darrell Huff
$11.99
McGraw-Hill Education Algebra I Review and Workbook
Sandra Luna McCune
$13.99
Everything Is Predictable: How Bayesian Statistics Explain Our World
Tom Chivers
$16.99
How Not to Be Wrong: The Power of Mathematical Thinking
Jordan Ellenberg
$15.99
Naked Statistics: Stripping the Dread from the Data
Charles Wheelan
$14.99
McGraw-Hill Education Algebra II Review and Workbook
Christopher Monahan
$12.99
Is Math Real?: How Simple Questions Lead Us to Mathematics' Deepest Truths
Eugenia Cheng
$15.99
How to Solve It: A New Aspect of Mathematical Method
George Polya
$17.99
Mathematics for Human Flourishing
Francis Su
$14.99
The Signal and the Noise: Why So Many Predictions Fail--But Some Don't
Nate Silver
$16.99
Infinite Powers: How Calculus Reveals the Secrets of the Universe
Steven Strogatz
$16.99