|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | A First Course in Functional Analysis (Dover Books on Mathematics) | Davis, Martin | Paperback | 0486499839 /
9780486499833 | 05/2013 | $11.66 |
|  | A Machine Program for Theorem-proving | Davis, Martin | Hardcover | 1342126289 /
9781342126283 | 09/2015 | $25.60 |
|  | Applied Nonstandard Analysis (Dover Books on Mathematics) | Davis, Martin | Paperback | 0486442292 /
9780486442297 | 07/2005 | $13.46 |
|  | Astrolocality Astrology: A Guide to What It Is and How to Use It Revised Edition | Davis, Martin | Paperback | 1902405935 /
9781902405933 | 06/2014 | $22.50 |
|  | Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz | Davis, Martin | Hardcover | 1341578283 /
9781341578281 | 09/2015 | $28.30 |
|  | Diophantine Sets Over Polynomial Rings | Davis, Martin | Paperback | 1378283074 /
9781378283073 | 02/2018 | $13.25 |
|  | Diophantine Sets Over Polynomial Rings | Davis, Martin | Hardcover | 1341569063 /
9781341569067 | 09/2015 | $25.60 |
|  | Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem | Davis, Martin | Paperback | 1376189992 /
9781376189995 | 08/2017 | $8.32 |
|  | From Here to There | Davis, Martin | Paperback | 1902405277 /
9781902405278 | 12/2007 | $32.40 |
|  | From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz 2013 Edition | Davis, Martin | Paperback | 144716170X /
9781447161707 | 08/2014 | $104.49 |
|  | From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz 2013 Edition | Davis, Martin | Hardcover | 1447142810 /
9781447142812 | 07/2012 | $104.49 |
|  | Lecture Notes on Mathematical Logic: Fall 1959 | Davis, Martin | Hardcover | 1258673770 /
9781258673772 | 04/2013 | $35.96 |
|  | Lecture Notes on Mathematical Logic: Fall 1959 | Davis, Martin | Paperback | 125867789X /
9781258677893 | 04/2013 | $23.70 |
|  | Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi 2015 Edition | Davis, Martin | Paperback | 3662488981 /
9783662488980 | 12/2015 | $52.24 |
|  | Practical Injection Molding (Plastics Engineering) | Olmsted, Bernie A. | Hardcover | 0824705297 /
9780824705299 | 03/2001 | $209.00 |
|  | The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions (Dover Books on Mathematics) | Davis, Martin | Paperback | 0486432289 /
9780486432281 | 02/2004 | $22.46 |
|
|
|