Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Sprache: Englisch
Verlag: Dover Publications, Incorporated, 2004
ISBN 10: 0486432289 ISBN 13: 9780486432281
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Anbieter: Antiquariat Stefan Krüger, Essen, NRW, Deutschland
Kartoniert. Oktn. Buch.
Anbieter: moluna, Greven, Deutschland
EUR 25,04
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Über den AutorrnrnMartin Davis: Computer Science PioneernDover s publishing relationship with Martin Davis, now retired from NYU and living in Berkeley, goes back to 1985 when we reprinted his classic 1958 book Computability and Unsolvabili.
Sprache: Englisch
Verlag: Dover Publications Feb 2004, 2004
ISBN 10: 0486432289 ISBN 13: 9780486432281
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Godel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. 1965 edition.