Kleene stephen c editor (5 risultati)

- Rilegato
Da: Browsing Is Arousing, Middlebury, VT, U.S.A.Browsing Is Arousing
Contatta il venditoreVenditore con 3 stelleCondizione: Usato - Molto buono
EUR 71,19
EUR 6,05 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Very Good. Hardcover in a bright dust jacket with mild fade to spine, b&w frontis., 474 pages. Volume 1 ONLY. Kurt Gödel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the… continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Less well-known is his discovery of unusual cosmological models for Einstein's equations, permitting "time-travel" into the past. Clean copy. Record # 386647.

Collected Works: Volume I: Publications 1929-1936 (Collected Works of Kurt Godel)
Godel, Kurt; Feferman, Solomon [Editor]; Dawson Jr., John W. [Editor]; Kleene, Stephen C. [Editor]; Moore, Gregory H. [Editor]; Solovay, Robert M. [Editor]; Heijenoort, Jean van [Editor];
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 175,25
EUR 6,00 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.

Collected Works: Volume II: Publications 1938-1974 (Kurt Godel Collected Works)
Gödel, Kurt; Feferman, S. [Editor]; Dawson Jr., John W. [Editor]; Kleene, Stephen C. [Editor]; Moore, G. [Editor]; Solovay, R. [Editor]; van Heijenoort, the late Jean [Editor];
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 251,83
EUR 6,00 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.

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
Lingua: Inglese
Editore: Raven Press, Hewlett Ny 1965
- Rilegato
- Prima edizione
Da: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, U.S.A.Arroyo Seco Books, Pasadena, Member IOBA
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Quasi ottimo
EUR 393,98
EUR 6,91 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Near Fine. Condizione sovraccoperta: 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 Copyri…ght 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.

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
Lingua: Inglese
Editore: Raven Press, Hewlett Ny 1965
- Rilegato
- Prima edizione
Da: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, U.S.A.Arroyo Seco Books, Pasadena, Member IOBA
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Quasi ottimo
EUR 588,41
EUR 6,91 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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 A…n 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.