Gesamtpreis (1 Artikel Artikel):
Versandziel:
melvin fitting (41 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (41)
- 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 (16)
Sprache (4)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Selected Topics from Contempor
Anbieter: World of Books (was SecondSale), Montgomery, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
Selected Topics from Contemporary Logics
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 19,26
EUR 13,03 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.
-
Numbers
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 21,42
EUR 14,06 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Incompleteness in the Land of Sets (Studies in Logic)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 24,00
EUR 14,06 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Set Theory and the Continuum Problem
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 30,63
EUR 11,74 Versand
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.
-
Selected Topics from Contemporary Logics
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 31,71
EUR 14,06 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Incompletetude Na Terra DOS Conjuntos (Portuguese Edition)
Sprache: Portugiesisch
Verlag: College Publications, 2013
ISBN 10: 1848901097 ISBN 13: 9781848901094
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 19,26
EUR 14,06 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Beyond Two: Theory and Applications of Multiple-Valued Logic
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 55,22
EUR 14,06 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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.
-
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
First-Order Logic and Automated Theorem Proving
Buch 28 von 83: Texts in Computer ScienceAnbieter: True Oak Books, Highland, NY, USA
Verbandsmitglied: IOBA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. Second Edition; First Printing. Texts In Computer Science; 7.25 X 1 X 9.75 inches; 326 pages; minor water exposure wrinkles on the first and last 4-5 pages. Minor shelf wear on front cover. Minor discoloration of textblock. Previous owner's name on front free endpaper. Very Good condition otherwise. No other noteworthy defects. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
-
Proof Methods for Modal and Intuitionistic Logics: (Synthese Library 169)
Anbieter: MB Books, Derbyshire, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,21
EUR 23,47 Versand
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.
-
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Buch 28 von 83: Texts in Computer ScienceAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 98,56
EUR 14,06 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
EUR 81,44
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
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.
-
First-Order Modal Logic (Synthese Library, 480)
Buch 299 von 304: Synthese LibraryAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 141,88
EUR 14,06 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
First-Order Logic and Automated Theorem Proving
Buch 28 von 83: Texts in Computer ScienceAnbieter: 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.
-
Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics, Series Number 216)
Buch 40 von 46: Cambridge Tracts in MathematicsSprache: Englisch
Verlag: Cambridge University Press, 2019
ISBN 10: 1108424910 ISBN 13: 9781108424912
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 155,50
EUR 14,06 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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.
-
Beyond Two: Theory and Applications of Multiple Valued Logic
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 166,64
EUR 14,06 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Taschenbuch. Zustand: Neu. Raymond Smullyan on Self Reference | Melvin Fitting (u. a.) | Taschenbuch | 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.
-
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 167,25
EUR 11,74 Versand
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.
-
Beyond Two: Theory and Applications of Multiple-Valued Logic: Theory And Applications Of Multiple-Valued Logic (Studies In Fuzziness And Soft Computing)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 166,64
EUR 14,06 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
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 169,27
EUR 11,74 Versand
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.
-
Raymond Smullyan on Self Reference
Buch 12 von 29: Outstanding Contributions to LogicAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. 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.
-
Types, Tableaus and Godel's God
Sprache: Englisch
Verlag: Kluwer Academic Publishers, 2002
ISBN 10: 1402006047 ISBN 13: 9781402006043
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Godel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. This title presents classical type theory, introduces tableau rules for it and gives the proof of Prawitz/Takahashi. Series: Trends in Logic. Num Pages: 181 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 12. Weight in Grams: 461. . 2002. Hardback. . . . . Books ship from the US and Ireland.
-
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.
-
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.
-
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.
-
First-Order Modal Logic : Synthese Library 480
Buch 299 von 304: Synthese LibraryAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
