Kleene S C (51 results)
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
Language: English
Published by Stanford University Press 1962
- Hardcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerHardcover. Condition: Good. Ex-Library hardcover no dj (maroon boards) with the usual markings, attachments, and library wear.
- Hardcover
Seller: ANTIQUARIAT Franke BRUDDENBOOKS, Lübeck, GermanyANTIQUARIAT Franke BRUDDENBOOKS
Contact seller5-star sellerCondition: Used - Very good
£ 13.85
£ 20.00 shippingShips from Germany to U.S.A.Quantity: 1 available
Gebundene Ausgabe, Gr.8°. Condition: Gut. 398 S. Das Buch ist in gutem, sauberen Zustand. Einband minimal berieben / fleckig. Ecken und Kanten leicht bestossen. Sonst sauberes und wohlerhaltenes Exemplar. ISBN: 9780471490333 Wir senden umgehend mit beiliegender MwSt.Rechnung. Sprache: Englisch Gewicht in Gramm: 635.
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
Published by Stanford University Press
- Hardcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerHardcover. Condition: 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.
Published by Stanford University Press 1962
- Hardcover
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.Midtown Scholar Bookstore
Contact seller5-star sellerhardcover. Condition: 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
Language: English
Published by Stanford University Press 1962
- Hardcover
Seller: Lost Time Books, Brattleboro, VT, U.S.A.Lost Time Books
Contact seller5-star sellerCondition: Used - Very good
£ 39.01
£ 5.30 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: 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
Seller: Great Matter Books, Grand Rapids, MI, U.S.A.Great Matter Books
Contact seller5-star sellerCondition: Used - Near fine
£ 62.48
£ 3.78 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: 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…text block. All books are individually inspected and described. Never X-Library unless specifically described as such.
- Hardcover
Seller: Browsing Is Arousing, Middlebury, VT, U.S.A.Browsing Is Arousing
Contact seller4-star sellerCondition: Used - Very good
£ 62.48
£ 5.31 shippingShips within U.S.A.Quantity: 1 available
Condition: 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.
- Hardcover
- First Edition
Seller: Hiding Place Books, Philadelphia, PA, U.S.A.Hiding Place Books
Contact seller5-star sellerCondition: Used - Fine
£ 78.11
£ 3.79 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Fine. Dust Jacket Condition: Fine. 1st Edition.
- Hardcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 86.46
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardcover. Condition: New.
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 102.95
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: New. pp. 564 14:B&W 6 x 9 in or 229 x 152 mm Case Laminate on White w/Gloss Lam.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 119.73
£ 3.03 shippingShips within U.S.A.Quantity: 3 available
Condition: 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
Language: English
Published by Association for Symbolic Logic, Menasha / Ann Arbor 1939
- Softcover
- First Edition
- Periodical
Seller: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, U.S.A.Arroyo Seco Books, Pasadena, Member IOBA
Contact seller4-star sellerAssociation member: IOBA
Condition: Used - Near fine
£ 123.29
£ 6.07 shippingShips within U.S.A.Quantity: 1 available
Grey Wrappers. Condition: 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, (1…905 - 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
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 121.81
£ 8.57 shippingShips from Germany to U.S.A.Quantity: 3 available
Condition: New. pp. 564.
- Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
£ 106.52
£ 21.01 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardback. Condition: New. New copy - Usually dispatched within 4 working days.
- Hardcover
- First Edition
Seller: Olimpianbooks, Avon Lake, OH, U.S.A.Olimpianbooks
Contact seller5-star sellerCondition: Used - Fine
£ 132.77
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: 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 t…he next business day. This comes from the personal library of the Oberlin College emeritus Professor of Philosophy Daniel Merrill. OR3.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 118.78
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Hardcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 159.24
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardback. Condition: 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, whi…ch 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
- First Edition
Seller: FITZ BOOKS AND WAFFLES, Buffalo, NY, U.S.A.FITZ BOOKS AND WAFFLES
Contact seller5-star sellerCondition: Used - Fine
£ 156.21
£ 3.03 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Fine. Dust Jacket Condition: Fine. 1st Edition. This is a clean copy, signed by the previous owner, but otherwise an unmarked, undamaged copy.
- Hardcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 140.72
£ 42.21 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: 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
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermanyBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contact seller5-star sellerCondition: Used - Very good
£ 168.52
£ 34.42 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: gut. Collected Works. Vol. 2: Publications 1938 - 1974. Edited by Solomon Feferman. (Vol. 2 of 2). In deutscher Sprache. pages.
- Hardcover
Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
£ 146.07
£ 65.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardback. Condition: 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, whi…ch 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
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 224.41
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
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
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
£ 221.05
£ 5.27 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 229.37
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 229.36
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 262.68
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 254.18
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 272.39
£ 9.05 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: 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…places 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. . . . .
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 335.44
£ 7.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: 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…places 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.
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
Language: English
Published by Association for Symbolic Logic, Menasha / Ann Arbor 1938
- Softcover
- First Edition
- Periodical
Seller: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, U.S.A.Arroyo Seco Books, Pasadena, Member IOBA
Contact seller4-star sellerAssociation member: IOBA
Condition: Used - Near fine
£ 424.41
£ 6.07 shippingShips within U.S.A.Quantity: 1 available
Grey Wrappers. Condition: 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 Logicia…n. 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.
