Kleene Stephen Cole (86 results)

Condition: NEW.

Hardcover. Condition: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.4.

23,5 x 15,5 cm. Condition: Gut. XIII, 398 Seiten ; Mit Figuren Leineneinband mit leichten Gebrauchsspuren. Innen kaum mit Bleistiftanstreichungen, sehr sauber. In Englisch. Bitte beachten Sie unsere Bilder. MIG-16-03B|S80 Sprache: Englisch Gewicht in Gramm: 690.

Condition: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.

Hardcover. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 1.01.

xiii, 398 pp., Sprache: Englisch Gewicht in Gramm: 700 Groß 8°, Original-Leinen (Hardcover), Bibliotheks-Exemplar (ordungsgemäß entwidmet) mit leichten Rückständen vom Rückenschild, Stempel auf Vorsatz, Titel und Schnitt, insgesamt gutes und innen sauberes Exemplar, (library copy in good condition),

Condition: As New. Unread book in perfect condition.

Softcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Edition 2000. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2000. Ammareal gives back up to 15% of this item's net price to charity organizations.

Condition: As New. Unread book in perfect condition.

Condition: Buone. inglese Condizioni dell'esterno: Buone Condizioni dell'interno: Buone.

Hardcover. 550 p. Good condition. Reading pages are clean and without markings. Light signs of storage and use. Inscription on the last page. Otherwise a neat copy. 9780720421033 Sprache: Englisch Gewicht in Gramm: 1001.

Rilegato. Condition: molto buono. Dalle immagini dell'indice si segue lo sviluppo delle presentazioni dal calcolo proposizionale a quello dei predicati, affrontando poi i fondamenti della matematica, i concetti di computabilità e decidibilità e così via. Esemplare in buonissime condizioni, con alcune ordinate annotazioni a margine e sottolineature. Pagg IX + 398. Copertina rigida editoriale con sovraccoperta illustrata.

Hardcover. Condition: Fair. No Jacket. 398 numbered pages; no dustjacket; minor age darkening to text; ex-library with usual library markings and stickers and etc.; some minor marks to edges of closed pages; light to medium wear to corners and edges of cover; several minor dings/ minor scratches to cover; weighs 1 pound and 9 ounces; measures 9.2 by 6.2 by .95 inches; 101224;

Condition: Used - Very Good. 8vo. Cloth, no dj. Dark blue cloth. 550 numbered pp. Minor shelf wear; light rubbing to boards. Previous owner's signature at front. Else fine. A bright, clean copy. Very Good.

this is a Taiwanese edition of this book ed. hardback very good condition in a dust jacket with some edgewear and a couple of short closed tears.

Condition: Gut. (1. Auflage). 114 Seiten; graph. Darst.; 23 cm; fadengeh. Broschur. Gutes Exemplar; minimale Gebrauchs- u. Lagerspuren. - Erstausgabe / EA. - Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; 14. Januar 1978 in Princeton, New Jersey, Vereinigte Staaten) war ein österreichischer und später US-amerikanischer Mathematiker, Philosoph und einer der bedeutendsten Logiker des 20. Jahrhunderts. Er leistete maßgebliche Beiträge zur Prädikatenlogik (Vollständigkeit und Entscheidungsproblem in der Arithmetik und der axiomatischen Mengenlehre), zu den Beziehungen der intuitionistischen Logik sowohl zur klassischen Logik als auch zur Modallogik sowie zur Relativitätstheorie in der Physik. // Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut; 25. Januar 1994 in Madison, Wisconsin) war ein US-amerikanischer Mathematiker und Logiker. Er gilt als einer der Begründer der theoretischen Informatik, besonders der formalen Sprachen und der Automatentheorie // John Barkley Rosser Sr. (* 6. Dezember 1907 in Jacksonville, Florida; 5. September 1989 in Madison, Wisconsin) war US-amerikanischer Logiker und Mathematiker. (wiki) // INHALT : Einleitung. ------ A. Intuitiver Zugang zum Gödelschen Unvollständigkeitstheorem: Die Antinomie von Richard ------ B. Die Gödelschen Theoreme. ------ 1. Das formale System ZL. ------ 2. Die Theoreme von Gödel. ------ 3. Primitiv rekursive Funktionen und Prädikate. ------ 4. Die Arithmetisierung der Metatheorie. ------ C. Die Unentscheidbarkeit der Quantifikationstheorie (Theorem von Church). ------ Vorbemerkungen. ------ 5. Allgemein-rekursive Funktionen. ------ 6. Der Gleichungskalkül von Kleene. ------ 7. Die schematische Funktionentheorie von Quine. ------ 8. Das Theorem von Church (nach Quine). ------ D. Die Verallgemeinerungen von Kleene. ------ 9. Das Kleenesche T-Prädikat. ------ 10. Das Aufzählungstheorem und seine Konsequenzen. ------ 11. Das Normalformentheorem. ------ 12. Algorithmische Theorien und das Theorem von Church in der Fassung von Kleene. ------ 13. Rekursive Auf zählbarkeit, Beweisverfahren und das verallgemeinerte Gödelsche Theorem. ------ 14. Die symmetrische Form des verallgemeinerten Gödelschen Theorems und die Unentscheidbarkeit der elementaren Zahlentheorie ------ 15. Zusammenfassung. ------ E. Anhang. ------ 16. Die Gödelsche /ß-Funktion. ------ 17. Primitiv rekursive und arithmetische Prädikate und der zahlentheoretische Formalismus. ------ Literaturverzeichnis. ------ Namen- und Sachverzeichnis. Sprache: Deutsch Gewicht in Gramm: 250.

Leatherbound. Condition: NEW. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 360. A perfect gift for your loved ones. Reprinted from 1956 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Language: English Pages: 360.

hardcover. Condition: Good. 1962 reprint (4th printing). Book shows common (average) signs of wear and use. Binding is still tight. Covers are intact but may be repaired. We have 75,000 books to choose from -- Ship within 24 hours -- Satisfaction Guaranteed!

OLWd. mit Blinddruckrahmen, am Rücken schwarzes Schildch mit Goldprägung, kein Schutzumschlag, Deckenecken berieben, kleinere Flecken auf dem Schnitt, Seiten nach außen hin leicht ausgeblichen; innen keinerlei Anstreichungen oder Schäden, insgesamt sehr guter Zustand. Book Language/s: English.

cloth, 8vo viii+206 pp. in his intuitionistic analysis, L.E.J. Brouwer created a theory which diverges form classical mathematics and which in its details has not been widely known of understood; this book describes a formal system of intuitionistic analysis; various notuion of realizability; the intuitionistic continuum; very good condition (almost unused).

LeatherBound. Condition: New. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 572. A perfect gift for your loved ones. Reprinted from 1952 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Language: English Pages: 572.

North-Holland 1962, cloth, 550 pp. Volume I in the series: Bibliotheca Mathematica. One small spot on frontcover. Nevertheless good copy. (code Sc-82).

Condition: Fine. Number of books: 1 book.

Condition: Fine. The book is in fine condition.

Leather Bound. Condition: New. Language: English. This book is available in 5 different Leather color without any extra cost. Explore More Options by Clicking on 'More Images' and Notify Us of Your Choice via Email within 24 hours of placing the order. Presenting an Exquisite Leather-Bound Edition, expertly crafted by the prestigious organization "Rare Biblio" with Original Natural Leather that gracefully adorns the spine and corners. The allure continues with Golden Leaf Printing that adds a touch of elegance, while Hand Embossing on the rounded spine lends an artistic flair. This masterpiece has been meticulously reprinted in 2024, utilizing the invaluable guidance of the original edition published many years ago in 1956. The contents of this book are presented in classic black and white. Its durability is ensured through a meticulous sewing binding technique, enhancing its longevity. Imprinted on top-tier quality paper. A team of professionals has expertly processed each page, delicately preserving its content without alteration. Due to the vintage nature of these books, every page has been manually restored for legibility. However, in certain instances, occasional blurriness, missing segments, or faint black spots might persist. We sincerely hope for your understanding of the challenges we faced with these books. Recognizing their significance for readers seeking insight into our historical treasure, we've diligently restored and reissued them. Our intention is to offer this valuable resource once again. We eagerly await your feedback, hoping that you'll find it appealing and will generously share your thoughts and recommendations. Lang: - English, Pages: - 360, Print on Demand. If it is a multi-volume set, then it is only a single volume. Product Disclaimer: Kindly be informed that, owing to the inherent nature of leather as a natural material, minor discolorations or textural variations may be perceptible. Explore the FOLIO EDITION (12x19 Inches): Available Upon Request. 360.