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 Martin Davis (Editor); Kurt Godel, Alonzo Church, Alan M. Turing, J. B. Rosser, Stephen C. Kleene, Emil Post; Signed Bookplate Of Hal Berghel Computers And Computing,Rare And Unusual Books

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.