Gesamtpreis (1 Artikel Artikel):
Versandziel:
fitting melvin (40 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (40)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (15)
Sprache (5)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Set Theory and the Continuum Problem
Sprache: Englisch
Verlag: Dover Publications, Incorporated, 2010
ISBN 10: 0486474844 ISBN 13: 9780486474847
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Set Theory and the Continuum Problem (Dover Books on Mathematics)
Anbieter: Wonder Book, Frederick, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Like New condition. A near perfect copy that may have very minor cosmetic defects.
-
Incompleteness in the Land of Sets (Studies in Logic)
Sprache: Englisch
Verlag: College Publications (edition ), 2007
ISBN 10: 1904987346 ISBN 13: 9781904987345
Paperback. Zustand: Good. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
-
In praise of simple things
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.14.
-
Set Theory and the Continuum Problem
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 17,03
EUR 11,46 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. revised edition. 315 pages. 9.25x6.25x1.00 inches. In Stock.
-
Beyond Two: Theory and Applications of Multiple-Valued Logic.
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 5 von 5 Sternen
2003. 16 x 23 cm. X, 374 S. X, 374 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. (Studies in Fuzziness and Soft Computing). Sprache: Englisch.
-
Zustand: Usado.
-
EUR 24,27
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New. KlappentextrnrnThe various number systems are usually taken for granted by most people, and rightly so. But at least once in the career of every person seriously interested in mathematics, they should be looked at with a critical eye. Why were.
-
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Buch 28 von 83: Texts in Computer ScienceAnbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
EUR 35,40
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. KlappentextrnrnAs used by professional logicians today, is the name of their chosen subjectn singular or plural, logic or logics ? This is a special case of a more generaln question. For instance, an algebraist might write a book entitled A.
-
Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides, 13)
Anbieter: My Dead Aunt's Books, Hyattsville, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. "Review Copy from SCIENCE;" "Oxford Logic Guides : 13;" First ed.; 198 p., immaculate and unmarked; binding tight; despite absence of d.j. black boards with bright gilt lettering show minimal wear.
-
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Buch 28 von 83: Texts in Computer ScienceAnbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,60
EUR 12,20 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Proof Methods for Modal and Intuitionistic Logics: (Synthese Library 169)
Anbieter: MB Books, Derbyshire, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,29
EUR 22,93 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Fair. No Jacket. Condition : Internally clean, chipped cover. Former-university library copy with associated library stamps etc. Hard cover , no jacket. 553pp. No highlighting or annotations to text. Covered in a library laminate which has chipped. Photos on request.
-
Computability Theory, Semantics, and Logic Programming
Sprache: Englisch
Verlag: Oxford University Press Inc, 1987
ISBN 10: 0195036913 ISBN 13: 9780195036916
Hardcover. Zustand: Bon. Ancien livre de bibliothèque avec équipements. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
EUR 77,17
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)
Buch 28 von 83: Texts in Computer ScienceAnbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. 242 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 969 38,9 x 20,1 x 11,3 cm, Gebundene Ausgabe.
-
First-Order Logic and Automated Theorem Proving
Buch 28 von 83: Texts in Computer ScienceSprache: Englisch
Verlag: Springer New York, Springer New York Jun 2013, 2013
ISBN 10: 1461275156 ISBN 13: 9781461275152
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro gram verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theo rem proving in classical logic. To be more precise yet, it is essentially a theoretical treatment, not a how-to book, although how-to issues are not neglected. This does not mean, of course, that the book will be of no interest to philosophers or mathematicians. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues. The first item to be addressed is, What are we talking about and why are we interested in it We are primarily talking about truth as used in mathematical discourse, and our interest in it is, or should be, self evident. Truth is a semantic concept, so we begin with models and their properties. These are used to define our subject.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.
-
First-Order Logic and Automated Theorem Proving
Buch 28 von 83: Texts in Computer ScienceSprache: Englisch
Verlag: Springer-Verlag New York Inc., 2013
ISBN 10: 1461275156 ISBN 13: 9781461275152
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. 2013. 2nd ed. 1996. Softcover reprint of the original 2n. Paperback. . . . . . Books ship from the US and Ireland.
-
First-Order Logic and Automated Theorem Proving
Buch 28 von 83: Texts in Computer ScienceSprache: Englisch
Verlag: Springer New York, Springer New York, 2013
ISBN 10: 1461275156 ISBN 13: 9781461275152
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro gram verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theo rem proving in classical logic. To be more precise yet, it is essentially a theoretical treatment, not a how-to book, although how-to issues are not neglected. This does not mean, of course, that the book will be of no interest to philosophers or mathematicians. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues. The first item to be addressed is, What are we talking about and why are we interested in it We are primarily talking about truth as used in mathematical discourse, and our interest in it is, or should be, self evident. Truth is a semantic concept, so we begin with models and their properties. These are used to define our subject.
-
Intuitionistic Logic Model Theory and Forcing. Studies in Logic and The Foundations of Mathematics.
Sprache: Englisch
Verlag: Amsterdam (NL), North Holl.Publ.Co., 1969
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Gut. 191 p. with figures, Good condition. Sprache: Englisch Gewicht in Gramm: 440.
-
Raymond Smullyan on Self Reference
Buch 12 von 29: Outstanding Contributions to LogicAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 162,21
EUR 11,46 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 204 pages. 9.50x6.50x0.75 inches. In Stock.
-
Raymond Smullyan on Self Reference
Buch 12 von 29: Outstanding Contributions to LogicAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 164,18
EUR 11,46 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 203 pages. 9.25x6.10x9.21 inches. In Stock.
-
Taschenbuch. Zustand: Neu. Raymond Smullyan on Self Reference | Melvin Fitting (u. a.) | Taschenbuch | Previously published in hardcover | viii | Englisch | 2019 | Springer | EAN 9783319886473 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Proof Methods for Modal and Intuitionistic Logics
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
22,5 x 15,5 cm. Zustand: Gut. Synthese Library 169. VIII, 555 Pages Innen sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Einband mit leichten Gebrauchsspuren. Englische Sprache - Original Hardboard with Library label. Inside with Library stamps, in good condition. Cover hardly used. English Language B11-02-01Z|S31 Sprache: Englisch Gewicht in Gramm: 885.
-
First-Order Logic and Automated Theorem Proving
Verlag: Springer-Verlag [1990], New York, 1990
Anbieter: Evening Star Books, ABAA/ILAB, Madison, WI, USA
Verbandsmitglied: ABAA ILAB IOBA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Hardcover. Zustand: Very near Fine. First edition. 8vo. [7], viii-xiii, [4], 2-242, [6] pp. Silver colored glossy paper over boards, no dust jacket (following Springer's custom during the period). A sharp example of this book, one of the earliest introductions to classical logic from the perspective of automated theorem proving.
-
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Buch 28 von 83: Texts in Computer ScienceAnbieter: Night Heron Books, Laramie, WY, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Very Good. Binding tight.Cover clean.Minor wear to page edges and corners. Hardcover.No writing, highlighting, or marks in text.
-
Justification Logic
Buch 40 von 46: Cambridge Tracts in MathematicsSprache: Englisch
Verlag: Cambridge University Press, 2019
ISBN 10: 1108424910 ISBN 13: 9781108424912
SonderangebotEUR 73,93
EUR 105,00 shipping
Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 270 | Sprache: Englisch | Produktart: Bücher | Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.
-
Raymond Smullyan on Self Reference
Buch 12 von 29: Outstanding Contributions to LogicSprache: Englisch
Verlag: Springer International Publishing AG, 2018
ISBN 10: 331968731X ISBN 13: 9783319687315
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. 2018. 1st ed. 2017. Hardcover. . . . . . Books ship from the US and Ireland.
-
Raymond Smullyan on Self Reference
Buch 12 von 29: Outstanding Contributions to LogicSprache: Englisch
Verlag: Springer, Berlin, Springer International Publishing, Springer, 2019
ISBN 10: 3319886479 ISBN 13: 9783319886473
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan's work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field. Raymond Smullyan, mathematician, philosopher, musician and inventor of logic puzzles, made a lasting impact on the study of mathematical logic; accordingly, this book spans the many personalities through which Professor Smullyan operated, offering extensions and re-evaluations of his academic work on self-reference, applying self-referential logic to art and nature, and lastly, offering new puzzles designed to communicate otherwise esoteric concepts in mathematical logic, in the manner for which Professor Smullyan was so well known. This book is suitable for students, scholars and logicians who are interested in learning more about Raymond Smullyan's work and life.
-
Taschenbuch. Zustand: Neu. First-Order Modal Logic | Melvin Fitting (u. a.) | Taschenbuch | xx | Englisch | 2024 | Springer | EAN 9783031407161 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
