Buy Used and New Martin Davis Books

Alan M. Turing: Centenary Edition

by Sara Turing

ISBN 13: 9781107020580

Format: Hardcover (194 pages)
Publisher: Cambridge University Press
Published: 22 Mar 2012

Save for later

Cases and Materials on Housing Law (Cases & materials)

by David Hughes,Martin Davis,Veronica Matthew,Nicholas Smith

ISBN 13: 9781854319364

Format: Paperback (610 pages)
Publisher: Blackstone Press
Published: 02 Jan 2000

Save for later

Y Dyn a Blannat Goed

by Jean Giono

ISBN 13: 9780863819407

Format: Paperback (64 pages)
Publisher: Gwasg Carreg Gwalch
Published: 15 Oct 2004

Save for later

Engines of Logic: Mathematicians and the Origin of the Computer

by Martin Davis

ISBN 13: 9780393322293

Format: Paperback (272 pages)
Publisher: W. W. Norton & Co.
Published: 31 Oct 2001

Save for later

Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)

by Paul J Cohen,Martin Davis

ISBN 13: 9780486469218

Format: Illustrated (192 pages)
Publisher: Dover Publications Inc.
Published: 27 Feb 2009

Save for later

The Undecidable: Basic Papers on Undecidable Propostions, Unsolvable Problems and Computable Functions

by Martin Davis

ISBN 13: 9780486432281

Format: Paperback (416 pages)
Publisher: Dover Publications Inc.
Published: 01 Feb 2004

Save for later

Applied Nonstandard Analysis

by Martin Davis

ISBN 13: 9780486442297

Format: Paperback (208 pages)
Publisher: Dover Publications Inc.
Published: 26 Jul 2005

Save for later

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo

ISBN 13: 9780857298072

Format: Hardcover (433 pages)
Publisher: Springer
Published: 16 Jul 2011

Save for later

The Universal Computer – The Road from Leibniz to Turing: The Road from Leibnitz to Turing

by Martin Davis

ISBN 13: 9780393047851

Format: Hardcover (270 pages)
Publisher: W. W. Norton & Company
Published: 17 Oct 2000

Save for later

Computability and Unsolvability (Dover Books on Computer Science)

by Martin Davis

ISBN 13: 9780486614717

Format: Paperback (288 pages)
Publisher: Dover Publications Inc.
Published: 01 Jun 1983

Save for later

Computability, Complexity, and Languages,: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)

by Martin Davis

ISBN 13: 9780122063824

Format: Illustrated (609 pages)
Publisher: Morgan Kaufmann
Published: 18 Mar 1994

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings: 9450 (Lecture Notes in Computer Science)

by Martin Davis,Ansgar Fehnker,Annabelle McIver,Andrei Voronkov

ISBN 13: 9783662488980

Format: Paperback (656 pages)
Publisher: Springer
Published: 30 Dec 2015

Save for later