Kleene s c (48 Ergebnisse)
Logic, Methodology and Philosophy of Science Proceedings of the 1960 International Conference
J. Richard Buchi; Julia Robinson; Robert L. Vaught; J. W. Addison; S. C. Kleene; John Myhill; J. R. Shloenfield et al
Sprache: Englisch
Verlag: Stanford University Press, 1962
- Hardcover
Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 27,43
EUR 6,01 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. Sorry, No international shipping on this item.Ex-Library hardcover no dj (maroon boards) with the usual markings, attachments, and library wear.
Logic, Methodology and Philosophy of Science Proceedings of the 1960 International Conference
J. Richard Buchi; Julia Robinson; Robert L. Vaught; J. W. Addison; S. C. Kleene; John Myhill; J. R. Shloenfield et al
Verlag: Stanford University Press
- Hardcover
Anbieter: ThriftBooks-Dallas, Dallas, TX, USAThriftBooks-Dallas
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 30,10
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. No Jacket. Former library book; Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Verlag: Stanford University Press, 1962
- Hardcover
Anbieter: Midtown Scholar Bookstore, Harrisburg, PA, USAMidtown Scholar Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 26,83
EUR 5,16 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Good. No dust jacket. Good hardcover with some shelfwear; may have previous owner's name inside. Standard-sized.
Logic, Methodology and Philosophy of Science Proceedings of the 1960 International Conference [Hardcover] Ernest Nagel; Patrick Suppes; Alfred Tarski; J. Richard Buchi; Julia Robinson; Robert L. Vaught; J. W. Addison; S. C. Kleene; John Myhill and J. R. Shloenfield et al
J. Richard Buchi; Julia Robinson; Robert L. Vaught; J. W. Addison; S. C. Kleene; John Myhill; J. R. Shloenfield et al
Sprache: Englisch
Verlag: Stanford University Press, 1962
- Hardcover
Anbieter: Lost Time Books, Brattleboro, VT, USALost Time Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 44,25
EUR 6,01 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Very Good. 1969 printing. VG. Minimal wear. Bookplate on front pastedown. Text is clean. Ships wrapped in bubble wrap and packed securely in a box.
- Hardcover
Anbieter: Great Matter Books, Grand Rapids, MI, USAGreat Matter Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 70,86
EUR 4,29 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Near Fine. No Jacket. Near Fine condition hardcover book, no dust jacket as issued. Transfered to digital printing 2005. Very slight shelf wear to covers and spines. Few shallow indentations to spine, mostly near top edge. Very slight bumping to spine edges and cover corners. Minute smudging to top edge of te…xt block. All books are individually inspected and described. Never X-Library unless specifically described as such.
The Journal of Symbolic Logic. Volume 25. Number 3. September 1960.
CHURCH, Alonzo; LAZEROWITZ, Alice A.; PRIOR, Arthur N.; KLEENE, S. C.; ANDERSON, Alan Ross.; ROBINSON, Julia; BORGERS, Alfons; AKERMANN, W.; HEMPEL, Carl G. HENKIN, Leo y otros.
Verlag: Assocation for Symbolic Logic., Netherlands., 1962
- Softcover
Anbieter: La Nave, Librería Anticuaria., Salamanca, SA, SpanienLa Nave, Librería Anticuaria.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 25,00
EUR 30,00 VersandVersand von Spanien nach USAAnzahl: 1 verfügbar
In den WarenkorbRústica. Zustand: BUEN ESTADO. Libro.
- Hardcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 103,60
EUR 18,02 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Hardcover. Zustand: New.
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 116,75
EUR 7,56 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
Zustand: New. pp. 564 14:B&W 6 x 9 in or 229 x 152 mm Case Laminate on White w/Gloss Lam.
- Hardcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 135,34
EUR 3,43 VersandVersand innerhalb von USAAnzahl: 3 verfügbar
Zustand: New. pp. 564.
The Journal Of Symbolic Logic. Volume 4 Number 1. March 1939 [With Rozsa Peter's Review Of Gerhard Gentzeen's "Neue Fassung Des Widerspruchsfreiheitsbeweises Fur Die Reine Zahlentheorie"]
Church, Alonzo, And C. H. Langford (Editors); Paul Bernays, Paul Henle, S. C. Kleene, Suzanne K. Langer, Saunders Mac Lane, Ernest Nagel, Everett J. Nelson, Rozsa Peter, W. V. Quine, Barkley Rosser, Alfred Tarski (Consulting Editios:Jozef Pepis And C. West Churchman (Articles0
Sprache: Englisch
Verlag: Association for Symbolic Logic, Menasha / Ann Arbor, 1939
- Softcover
- Erstausgabe
- Magazin//Zeitschrift
Anbieter: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, USAArroyo Seco Books, Pasadena, Member IOBA
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenVerbandsmitglied: IOBA
Zustand: Gebraucht - Gut bis sehr gut
EUR 139,82
EUR 6,88 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbGrey Wrappers. Zustand: Near Fine. First Edition. Volume 4 No 1, 40 Pp. Scarce In This, The Original Publication State Of Gray Printed Wrappers. Near Fine. Contains Rozsa's Review (In German) Of Gerhard Gentzeen's "Neue Fassung Des Widerspruchsfreiheitsbeweises Fur Die Reine Zahlentheorie". Rózsa Péter, Born Rózsa Politzer, (190…5 - 1977) Was A Hungarian Mathematician And Logician. She Is Best Known As The "Founding Mother Of Recursion Theory". Initially, Péter Began Her Graduate Research On Number Theory. Upon Discovering That Her Results Had Already Been Proven By The Work Of Robert Carmichael And L. E. Dickson, She Abandoned Mathematics To Focus On Poetry. However, She Was Convinced To Return To Mathematics By Her Friend László Kalmár, Who Suggested She Research The Work Of Kurt Gödel On The Theory Of Incompleteness.[3] She Prepared Her Own, Different Proofs To Gödel's Work. Péter Presented The Results Of Her Paper On Recursive Theory, "Rekursive Funktionen," To The International Congress Of Mathematicians In Zurich, Switzerland In 1932. For Her Research, She Received Her Phd Summa Cum Laude In 1935. In 1936, She Presented A Paper Entitled "Über Rekursive Funktionen Der Zweiten Stufe" To The International Congress Of Mathematicians In Oslo.[3] These Papers Helped To Found The Modern Field Of Recursive Function Theory As A Separate Area Of Mathematical Research. In 1937, She Was Appointed As Contributing Editor Of The Journal Of Symbolic Logic. After The Passage Of The Jewish Laws Of 1939 In Hungary, Péter Was Forbidden To Teach Because Of Her Jewish Origin And Was Briefly Confined To A Ghetto In Budapest. During World War Ii, She Wrote Her Book Playing With Infinity: Mathematical Explorations And Excursions, A Work For Lay Readers On The Topics Of Number Theory And Logic. In 1952, She Was The First Hungarian Woman To Be Made An Academic Doctor Of Mathematics. After The College Closed In 1955, She Taught At Eötvös Loránd University Until Her Retirement In 1975. She Was A Popular Professor, Known As "Aunt Rózsa" To Her Students. In 1951, She Published Her Key Work, Recursive Functions (Rekursive Funtionen). She Continued To Publish Important Papers On Recursive Theory Throughout Her Life. Beginning In The Mid-1950S, Péter Applied Recursive Function Theory To Computers. Her Final Book, Published In 1976, Was Recursive Functions In Computer Theory. Originally Published In Hungarian, It Was The Second Hungarian Mathematical Book To Be Published In The Soviet Union Because Its Subject Matter Was Considered Indispensable To The Theory Of Computers. It Was Translated Into English In 1981.Péter Was Awarded The Kossuth Prize In 1951. She Received The Manó Beke Prize By The János Bolyai Mathematical Society In 1953, The Silver State Prize In 1970, And The Gold State Prize In 1973. In 1973, She Became The First Woman To Be Elected To The Hungarian Academy Of Sciences.
- Hardcover
- Erstausgabe
Anbieter: Olimpianbooks, Avon Lake, OH, USAOlimpianbooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 150,57
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Fine. No Jacket. 1st Edition. Like New First printing BUT WITH NO DUST JACKET, pages clean and crisp, blue cloth with silver gilded lettering on the spine covers are clean, no highlighting or underlining. 100% Satisfaction guaranteed or your money back. Thank you for your interest. We ship the same day or the… next business day. This comes from the personal library of the Oberlin College emeritus Professor of Philosophy Daniel Merrill. OR3.
- Hardcover
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes KönigreichTHE SAINT BOOKSTORE
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 127,65
EUR 24,44 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Hardback. Zustand: New. New copy - Usually dispatched within 4 working days.
- Hardcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 139,42
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 3 verfügbar
Zustand: New. pp. 564.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 142,33
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes KönigreichRarewaves.com USA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 185,51
Versand gratisVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Hardback. Zustand: New. Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which… marked, if not the beginning of modern logic, at least a turning point after which nothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 157,99
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gade.
- Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 189,00
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: gut. Collected Works. Vol. 2: Publications 1938 - 1974. Edited by Solomon Feferman. (Vol. 2 of 2). In englischer Sprache. pages.
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];
- Hardcover
Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 250,73
EUR 5,98 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.
- Hardcover
Anbieter: Rarewaves.com UK, London, Vereinigtes KönigreichRarewaves.com UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 181,51
EUR 75,62 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Hardback. Zustand: New. Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which… marked, if not the beginning of modern logic, at least a turning point after which nothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 405,21
EUR 17,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 409,46
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 424,84
EUR 2,27 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 442,89
EUR 2,27 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 449,23
EUR 17,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Hardcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 463,65
EUR 9,50 VersandVersand von Irland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. This second volume of a comprehensive edition of Kurt Godel's works collects the remainder of his published work, covering the period 1938-1974. (Volume I included all of his publications from 1929-1936). Each article or closely related group of articles is preceded by an introductory note that elucidates it and pl…aces it in historical context. Editor(s): Dawson, John. Num Pages: 432 pages, frontispiece, 5 halftone plates. BIC Classification: 3JJG; 3JJH; 3JJP; HPCF; HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 242 x 163 x 25. Weight in Grams: 727. . 1990. Hardback. . . . .
The Journal Of Symbolic Logic. Volume 3 Number 2. June 1938 [With Rozsa Peter's Review Of Alan Turing's "Computability And L-Deiniability)
Church, Alonzo,And C. H. Langford (Editors); Paul Bernays, Paul Henle, S. C. Kleene, Suzanne K. Langer, Ernest Nagel, Everett J. Nelson, Rozsa Peter, W. V. Quine, Barkley Rosser, Alfred Tarski (Consulting Editios:Jozef Pepis And C. West Churchman (Articles0
Sprache: Englisch
Verlag: Association for Symbolic Logic, Menasha / Ann Arbor, 1938
- Softcover
- Erstausgabe
- Magazin//Zeitschrift
Anbieter: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, USAArroyo Seco Books, Pasadena, Member IOBA
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenVerbandsmitglied: IOBA
Zustand: Gebraucht - Gut bis sehr gut
EUR 481,31
EUR 6,88 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbGrey Wrappers. Zustand: Near Fine. First Edition. Volume 3 No 3, 96 Pp. Scarce In This, The Original Publication State Of Gray Printed Wrappers. Near Fine. Contains Rozsa's Review (In German) Of Turing's 1937 Article In This Same Journal. Rózsa Péter, Born Rózsa Politzer, (1905 - 1977) Was A Hungarian Mathematician And Logician.… She Is Best Known As The "Founding Mother Of Recursion Theory". Initially, Péter Began Her Graduate Research On Number Theory. Upon Discovering That Her Results Had Already Been Proven By The Work Of Robert Carmichael And L. E. Dickson, She Abandoned Mathematics To Focus On Poetry. However, She Was Convinced To Return To Mathematics By Her Friend László Kalmár, Who Suggested She Research The Work Of Kurt Gödel On The Theory Of Incompleteness. She Prepared Her Own, Different Proofs To Gödel's Work. Péter Presented The Results Of Her Paper On Recursive Theory, "Rekursive Funktionen," To The International Congress Of Mathematicians In Zurich, Switzerland In 1932. For Her Research, She Received Her Phd Summa Cum Laude In 1935. In 1936, She Presented A Paper Entitled "Über Rekursive Funktionen Der Zweiten Stufe" To The International Congress Of Mathematicians In Oslo. These Papers Helped To Found The Modern Field Of Recursive Function Theory As A Separate Area Of Mathematical Research. In 1937, She Was Appointed As Contributing Editor Of The Journal Of Symbolic Logic. After The Passage Of The Jewish Laws Of 1939 In Hungary, Péter Was Forbidden To Teach Because Of Her Jewish Origin And Was Briefly Confined To A Ghetto In Budapest. During World War Ii, She Wrote Her Book Playing With Infinity: Mathematical Explorations And Excursions, A Work For Lay Readers On The Topics Of Number Theory And Logic. In 1952, She Was The First Hungarian Woman To Be Made An Academic Doctor Of Mathematics. After The College Closed In 1955, She Taught At Eötvös Loránd University Until Her Retirement In 1975. She Was A Popular Professor, Known As "Aunt Rózsa" To Her Students. In 1951, She Published Her Key Work, Recursive Functions (Rekursive Funtionen). She Continued To Publish Important Papers On Recursive Theory Throughout Her Life. Beginning In The Mid-1950S, Péter Applied Recursive Function Theory To Computers. Her Final Book, Published In 1976, Was Recursive Functions In Computer Theory. Originally Published In Hungarian, It Was The Second Hungarian Mathematical Book To Be Published In The Soviet Union Because Its Subject Matter Was Considered Indispensable To The Theory Of Computers. It Was Translated Into English In 1981. Péter Was Awarded The Kossuth Prize In 1951. She Received The Manó Beke Prize By The János Bolyai Mathematical Society In 1953, The Silver State Prize In 1970, And The Gold State Prize In 1973. In 1973, She Became The First Woman To Be Elected To The Hungarian Academy Of Sciences.
- Hardcover
Anbieter: Grand Eagle Retail, Bensenville, IL, USAGrand Eagle Retail
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 490,72
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: new. Hardcover. Kurt Goedel 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 hisdiscovery of unusual cosmological models for Einstein's equations, permitting "time-travel" into the past. This second volume of a comprehensive edition of Goedel's works collects together all hispublications from 1938 to 1974. Together with Volume I (Publications 1929-1936), it makes available for the first time in a single source all of his previously published work. Continuing the format established in the earlier volume, the present text includes introductory notes that provide extensive explanatory and historical commentary on each of the papers, a facing English translation of the one German original, and a complete bibliography. Succeeding volumes are to containunpublished manuscripts, lectures, correspondence, and extracts from the notebooks. Collected Works is designed to be accessible and useful to as wide an audience as possible without sacrificingscientific or historical accuracy. The only complete edition available in English, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science. These volumes will also interest scientists and all others who wish to be acquainted with one of the great minds of the twentieth century. This second volume of a comprehensive edition of Kurt Godel's works collects the remainder of his published work, covering the period 1938-1974. (Volume I included all of his publications from 1929-1936). Each article or closely related group of articles is preceded by an introductory note that elucidates it and places it in historical context. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 575,06
EUR 9,03 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New. This second volume of a comprehensive edition of Kurt Godel's works collects the remainder of his published work, covering the period 1938-1974. (Volume I included all of his publications from 1929-1936). Each article or closely related group of articles is preceded by an introductory note that elucidates it and pl…aces it in historical context. Editor(s): Dawson, John. Num Pages: 432 pages, frontispiece, 5 halftone plates. BIC Classification: 3JJG; 3JJH; 3JJP; HPCF; HPL; PBCD. Category: (P) Professional & Vocational. Dimension: 242 x 163 x 25. Weight in Grams: 727. . 1990. Hardback. . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Association For Symbolic Logic 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948, 1949 1950 1951, 1952 1953 1954 1955, 1938
- Softcover
- Erstausgabe
- Magazin//Zeitschrift
Anbieter: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, USAArroyo Seco Books, Pasadena, Member IOBA
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenVerbandsmitglied: IOBA
Zustand: Gebraucht - Gut
EUR 4.428,90
EUR 6,88 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbGrey-blue Wrappers. Zustand: Very Good. First Edition. 53 Separate Numbers, 1938-1955, In Original Wrappers, As Issued. Not Ex-Library, Never Bound. Scarce In Original Condition Like This, As Almost All Surviving Issues Were Those Bound For Libraries. Condition Varies From Very Good To Fine. Vol 3 1938 Nos. 1, 3 And 4; Vol. 4 19…39 No. 4; Vol 5 1940 Nos 1, 3, 4; Vol 6 1941 Nos. 1, 2, 4; Vol. 7 1942 No. 2; Vol 8 No. 1, 2, And 4; Vol 9 1944 Nos. 2, 3, 4; Vol. 10 1945 Nos 1, 2, 3, 4; Vol 11 1946 Nos. 1,2,3,4; Vol 12, 1947, Nos 1, 2, 3, 4; Vol. 13, 1948, Nos. 1, 3, 4; Vol. 14 1949 No. 2, 4; Vol 15 No. 1, 2, 3, 4; Vol 16 1951, Nos 1, 2, 3, 4; Vol 17, 1952 Nos. 1, 2, 3, 4; Volume 18, 1953, Nos 1,2, 4; Vol 19 1954 Nos 1, 2, 4; Volume 20, 1955, No. 4. " . The Extant Gains Registered By The Modern Symbolic Treatment Of Logic Have Become Such An Essential Factorin Making Pronouncements Regarding The History Of Logic That We Are Constrained To Say That An Essential Knowledge Of Symbolic Logic Have Become An Indispensable Condition For Any And All Fruitful Study Of The History Of Logic" [Heinrich Scholz,"Concise History Of Logic"). As It Is Impossible To Show That The Cause And Effect Of Any Physical Event Can Be Isolated Sufficiently To Make The Effects Of Forces Susceptible To A Complete Logical Analysis, The Connection Of Physical Science And Logic Remains Tangential And Tenuous. The Impossibility Of Exactly Physically Limiting Definition Of Sources And Effects Of Forces In Social Science Make Law, Economics And Politics Ridiculous, And The Rest Of Social Science Merely Entertaining. The Scientific Use Of Logic Is Limited To It's Use In Occam's Razor, The Endless Process Of Successive Removal Of Improper Statements, Relationships, And Associations In Statements About The Physical World, And The Refinement Of Unscientific Arguments In The Imaginary World To Make Them More Acceptable To Contemporary Sensibilities.
Verlag: American Mathematical Society, 1955
- Softcover
Anbieter: JF Ptak Science Books, Hendersonville, NC, USAJF Ptak Science Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 132,87
EUR 5,16 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: Very Good. KLEENE, S.C. "Hierarchies of Number-Theoretic Predicates." In: Bulletin of the American Mathematical Society, vol 61 number 3, part 1, May 1955; published by the AMS, Menasha Wisconsin and Providence, RT.I. The Kleene occupies pp 193-213 in the issue of pp 193-276. Original wrappers. Spine is sunn…ed (see pic). VG copy. Abstract: "The existence of hierarchies of point sets in analysis has long been familiar from the work of Borel and Lusin. The study of the hierarchies in number theory which we consider here began with a theorem presented to the Society in 1940 and published in [12], These hierarchies have applications in foundational investigations, but we shall be concerned here with the exploration of their structure (using classical logic). We shall survey the previous results from the beginning, and conclude with a few new ones. We have endeavored to make the exposition complete enough so that the layman in this field can get the gist of the arguments without consulting the references." See: Martin Davis "On Computability, Computational Logic, and Mathematical Foundations".
