Gesamtpreis (1 Artikel Artikel):
Versandziel:
computational logic set theory von schwartz jacob (24 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (24)
- 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
- Neu (21)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (3)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (12)
- Keine Print-on-Demand Angebote (18)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Mehr als EUR 45
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,82
Währung umrechnenEUR 2,25 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
EUR 48,26
Währung umrechnenEUR 7,65 für den Versand innerhalb von/der USAAnzahl: 2 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
-
EUR 48,26
Währung umrechnenEUR 7,65 für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
-
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,66
Währung umrechnenEUR 3,40 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,66
Währung umrechnenEUR 3,40 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 59,68
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 61,23
Währung umrechnenEUR 2,25 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,45
Währung umrechnenEUR 13,84 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 57,02
Währung umrechnenEUR 17,89 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 68,07
Währung umrechnenEUR 17,33 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 68,69
Währung umrechnenEUR 17,33 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,87
Währung umrechnenEUR 13,84 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 0857298070 ISBN 13: 9780857298072
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,77
Währung umrechnenEUR 28,88 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 2011 edition. 433 pages. 9.25x6.25x1.25 inches. In Stock.
-
Computational Logic and Set Theory
Verlag: Springer London, Springer London Sep 2014, 2014
ISBN 10: 1447160185 ISBN 13: 9781447160182
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn¿s lemma.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.
-
Computational Logic and Set Theory
Verlag: Springer London, Springer London Jul 2011, 2011
ISBN 10: 0857298070 ISBN 13: 9780857298072
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn¿s lemma.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.
-
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Verlag: Springer London, Springer London, 2014
ISBN 10: 1447160185 ISBN 13: 9781447160182
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 58,55
Währung umrechnenEUR 63,29 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn's lemma.
-
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Verlag: Springer London, Springer London, 2011
ISBN 10: 0857298070 ISBN 13: 9780857298072
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 58,55
Währung umrechnenEUR 64,08 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbBuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn's lemma.
-
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 99,95
Währung umrechnenEUR 28,88 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Computational Logic and Set Theory
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 23,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn's lemma. 436 pp. Englisch.
-
Computational Logic and Set Theory
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 23,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn's lemma. 436 pp. Englisch.
-
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 67,70
Währung umrechnenEUR 15,41 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 659.
-
EUR 47,23
Währung umrechnenEUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents the pioneering work of the late Professor Jacob (Jack) T. SchwartzIntroduces an unique system for automated proof verification in large-scale software systemsWith a Foreword by Prof. Martin Davis of the Courant Institute of Mathema.
-
EUR 47,23
Währung umrechnenEUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents the pioneering work of the late Professor Jacob (Jack) T. SchwartzIntroduces an unique system for automated proof verification in large-scale software systemsWith a Foreword by Prof. Martin Davis of the Courant Institute of Mathema.
-
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 96,45
Währung umrechnenEUR 17,21 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 815.
