On Undecidable Propositions of Formal Mathematical Systems
Davis, Martin (editor)
From Sekkes Consultants, North Dighton, MA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 2 August 2010
From Sekkes Consultants, North Dighton, MA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 2 August 2010
About this Item
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½". Seller Inventory # 277193
Bibliographic Details
Title: On Undecidable Propositions of Formal ...
Publisher: Raven Press
Publication Date: 1965
Binding: Hardcover
Condition: Very Good
Dust Jacket Condition: Very Good
Edition: 1st Edition
Book Type: book
Store Description
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.
Payment Methods
accepted by seller