On Undecidable Propositions of Formal Mathematical Systems
Davis, Martin (editor)
Verkäufer Sekkes Consultants, North Dighton, MA, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 2. August 2010
Verkäufer Sekkes Consultants, North Dighton, MA, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 2. August 2010
Beschreibung
Basic papers on undecidable propositions, unsolvable problems and computable functions. It begins with Gödel's 1931 paper on systems logic on proofs of all true assertions of arithmetic. The book contains 5 papers by Gödel, 2 by Alonzo Church, 2 by Alan Turing, 2 by J.B. Rosser, 2 by Stephen Kleene, and 4 by Emil Post. Dust jacket is price-clipped, has a small chip at the front top edge, closed tear to the back top edge. Pages are as new. First edition. 6½" - 9½". Bestandsnummer des Verkäufers 277193
Bibliografische Details
Titel: On Undecidable Propositions of Formal ...
Verlag: Raven Press
Erscheinungsdatum: 1965
Einband: Hardcover
Zustand: Very Good
Zustand des Schutzumschlags: Very Good
Auflage: 1st Edition
Art des Buches: book
Anbieterinformationen
We guarantee the condition of every book as it¿s described on the Abebooks web sites. If you¿re dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn¿t arrived, you¿re eligible for a refund within 30 days of the estimated delivery date. If you¿ve changed your mind about a book that you¿ve ordered, please use the Ask bookseller a question link to contact us and we¿ll respond within 2 business days.
Orders usually ship within 1 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.
Zahlungsarten
akzeptiert von diesem Verkäufer