On Undecidable Propositions of Formal Mathematical Systems
Davis, Martin (editor)
Published by Raven Press, 1965
Used
Hardcover
From
Sekkes Consultants, North Dighton, MA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since August 2, 2010
This specific copy is no longer available. Here are our closest matches for On Undecidable Propositions of Formal Mathematical Systems by Davis, Martin (editor).
About this Item
Description:
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
Top Search Results from the AbeBooks Marketplace
Seller Image
The Undecidable, Basic Papers On Undecidable Propositions, Unsolvable Problems And Computable Functions (Including) Five Papers From Godel, Including Godel's "On Undecidable Propositions Of Formal Mathematical Systems" Etc., With New Supplementary Material From Godel, And Turing's "On Computable Numbers." And "Systems Of Logic Based On Ordinals", Also New Supplementary Material From Kleene For His Two Papers
Published by
Raven Press, Hewlett Ny, 1965
Used
Hardcover
First Edition
Seller: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Near Fine. Dust Jacket Condition: Very Good. 1st Edition. 440 Pp. Blue Cloth, Gilt. First Or Early Printing, Book Is 3.2 Cm Thick (An Otherwise Identical Issue In Blue Cloth Is Also 3.2 Cm Thick, But A Later Reprint In Blue Cloth With A Different Typesetting Of Title Page And Completely Different Copyright Page With Isbn And In An Unpriced And Different Dust Jacket Is 2.9 Cm Thick). Slight Usage; Book Near Fine, Dj Priced $9.75, Light Usage, A Few Short Closed Tears At Edges And Minute Losses At Corners. The Book Is An Anthology Of 17 Papers, Most Previously Published, But Including Previously Unpublished Lectures By Godel And An Unpublished Account By Post Of His Early Work, And With Supplementary Material Furnished By Godel And Keene. Signed Bookplate And Also The Name Stamp Of Hal Berghel, Professor Of Computer Science At The University Of Nevada, Las Vegas Where He Has Previously Served As Director Of Both The Schools Of Computer Science And Informatics, And As Associate Dean Of The College Of Engineering. He Created And Directed The First Cybersecurity Degree Programs (Bachelors, Masters And Phd) In Nevada In 2005. He Was The Founding Director Of The Identity Theft And Financial Fraud Research And Operations Center And Cybersecurity Research Center. Seller Inventory # 049157
Quantity: 1 available
Seller Image
The Undecidable, Basic Papers On Undecidable Propositions, Unsolvable Problems And Computable Functions (Including) Five Papers From Godel, Including Godel's "On Undecidable Propositions Of Formal Mathematical Systems" Etc., With New Supplementary Material From Godel, And Turing's "On Computable Numbers." And "Systems Of Logic Based On Ordinals", Also New Supplementary Material From Kleene For His Two Papers
Published by
Raven Press, Hewlett Ny, 1965
Used
Hardcover
First Edition
Seller: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Near Fine. No Jacket. 1st Edition. 440 Pp. Red Cloth, Gilt. First Or Early Printing, Book Is 3.2 Cm Thick (An Otherwise Identical Issue In Blue Cloth Is Also 3.2 Cm Thick, But A Later Reprint In Blue Cloth With A Different Typesetting Of Title Page And Completely Different Copyright Page With Isbn And In An Unpriced And Different Dust Jacket Is 2.9 Cm Thick). Slight Usage; Book Near Fine, Bumping To Lower Front Tip, No Dut Jacket, No Marks. . The Book Is An Anthology Of 17 Papers, Most Previously Published, But Including Previously Unpublished Lectures By Godel And An Unpublished Account By Post Of His Early Work, And With Supplementary Material Furnished By Godel And Keene. Seller Inventory # 057418
Quantity: 1 available