Gesamtpreis (1 Artikel Artikel):
Versandziel:
melvin fitting (46 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (46)
- 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 (3)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (2)
- Angebotsfoto (19)
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.
-
Numbers
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 20,92
EUR 13,82 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 23,42
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Computability Theory, Semantics, and Logic Programming
Sprache: Englisch
Verlag: Oxford University Press Inc, 1987
ISBN 10: 0195036913 ISBN 13: 9780195036916
SonderangebotEUR 22,04
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. 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.
-
Set Theory and the Continuum Problem
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 29,77
EUR 11,53 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.
-
First-Order Logic and Automated Theorem Proving (Texts & Monographs 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.
-
Selected Topics from Contemporary Logics
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 30,96
EUR 13,82 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: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 4 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.
-
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 18,80
EUR 13,82 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 53,87
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
EUR 24,27
EUR 48,99 Versand
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.
-
EUR 35,40
EUR 48,99 Versand
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.
-
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.
-
Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides, 13)
Anbieter: My Dead Aunt's Books, Hyattsville, MD, USA
Verkäuferbewertung 4 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.
-
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,78
EUR 23,07 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 96,12
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Raymond Smullyan on Self Reference (Outstanding Contributions to Logic, 14)
Buch 12 von 29: Outstanding Contributions to LogicAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 102,15
EUR 13,82 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.
-
EUR 81,44
EUR 48,99 Versand
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.
-
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.
-
SET THEORY AND THE CONTINUUM PROBLEM (Oxford Logic Guides)
Sprache: Englisch
Verlag: Oxford University / Clarendon Press, 1996
ISBN 10: 0198523955 ISBN 13: 9780198523956
Anbieter: Arches Bookhouse, Portland, OR, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Hardcover. Zustand: FINE. First Edition. 302pp. 8vo, sewn binding in navy cloth. FINE copy, entirely clean and sharp, sans jacket as issued uniformly with the series.
-
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 138,36
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Taschenbuch. Zustand: Neu. First-Order Logic and Automated Theorem Proving | Melvin Fitting | Taschenbuch | Texts in Computer Science | xviii | Englisch | 2013 | Springer | EAN 9781461275152 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
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 144,41
EUR 13,82 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.
-
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 161,36
EUR 11,53 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.
-
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 163,29
EUR 11,53 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.
-
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 162,50
EUR 13,82 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 162,50
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
