Omodeo eugenio g (74 résultats)
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G.; Davis, Martin (FRW)
- Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 54,89
EUR 2,31 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture rigide
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 61,29
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
On Sets and Graphs : Perspectives on Logic and Combinatorics
Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
- Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 59,59
EUR 2,31 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G.; Davis, Martin (FRW)
- Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 61,76
EUR 2,31 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
On Sets and Graphs : Perspectives on Logic and Combinatorics
Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
- Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 67,48
EUR 2,31 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
On Sets and Graphs : Perspectives on Logic and Combinatorics
Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
- Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 58,00
EUR 17,65 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Schwartz, Jacob T. T.; Cantone, Domenico; Omodeo, Eugenio G.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 61,56
EUR 14,10 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
On Sets and Graphs: Perspectives on Logic and Combinatorics
Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 62,79
EUR 14,10 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 59,07
EUR 18,22 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
PF. Etat : New.
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G.; Davis, Martin (FRW)
- Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,00
EUR 17,65 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Computational Logic and Set Theory: Applying Formalized.
Schwartz, Jacob T. T.; Cantone, Domenico; Omodeo, Eugenio G.
- Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 82,93
EUR 3,49 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New.
- Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 83,35
EUR 3,49 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. pp. 436.
On Sets and Graphs : Perspectives on Logic and Combinatorics
Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
- Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 69,12
EUR 17,65 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G.; Davis, Martin (FRW)
- Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 69,38
EUR 17,65 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 83,90
EUR 14,10 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In English.
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Schwartz, Jacob T./ Cantone, Domenico/ Omodeo, Eugenio G./ Davis, Martin (Foreward By)
- Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 83,97
EUR 14,71 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Hardcover. Etat : Brand New. 2011 edition. 433 pages. 9.25x6.25x1.25 inches. In Stock.
- Couverture rigide
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-UniRarewaves.com USA
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 110,27
Frais de port gratuitsExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Hardback. Etat : New. 2011th. 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 mathemati…cal 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.
Langue : anglais
Edité par Springer, 2018
Série : Outstanding Contributions to Logic, Livre 10 sur 29. Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 112,83
EUR 2,31 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New.
Langue : anglais
Edité par Springer International Publishing AG, 2018
Série : Outstanding Contributions to Logic, Livre 10 sur 29. Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : PBShop.store US, Wood Dale, IL, Etats-UnisPBShop.store US
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 115,21
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
On Sets and Graphs: Perspectives on Logic and Combinatorics
Omodeo, Eugenio G./ Policriti, Alberto/ Tomescu, Alexandru I.
- Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 102,30
EUR 14,71 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Hardcover. Etat : Brand New. 275 pages. 9.50x6.50x1.00 inches. In Stock.
Langue : anglais
Edité par Springer International Publishing AG, 2018
Série : Outstanding Contributions to Logic, Livre 10 sur 29. Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 112,14
EUR 5,91 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Langue : anglais
Edité par Springer, 2018
Série : Outstanding Contributions to Logic, Livre 10 sur 29. Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 122,02
EUR 2,31 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : As New. Unread book in perfect condition.
Langue : anglais
Edité par Springer, 2018
Série : Outstanding Contributions to Logic, Livre 10 sur 29. Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 110,42
EUR 14,10 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Langue : anglais
Edité par Springer 2018-05-03, 2018
Série : Outstanding Contributions to Logic, Livre 10 sur 29. Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 107,97
EUR 18,22 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : New.
Langue : anglais
Edité par Springer International Publishing, Springer International Publishing, 2018
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,98
EUR 62,26 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This treatise presents an integrated perspective on the interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used to better solve problems originated in the other. Feat…ures: explores the interrelationships between sets and graphs and their applications to finite combinatorics; introduces the fundamental graph-theoretical notions from the standpoint of both set theory and dyadic logic, and presents a discussion on set universes; explains how sets can conveniently model graphs, discussing set graphs and set-theoretic representations of claw-free graphs; investigates when it is convenient to represent sets by graphs, covering counting and encoding problems, the random generation of sets, and the analysis of infinite sets; presents excerpts of formal proofs concerning graphs, whose correctness was verified by means of an automated proof-assistant; contains numerous exercises, examples, definitions, problemsand insight panels.
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,98
EUR 63,06 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This treatise presents an integrated perspective on the interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used to better solve problems originated in the other. Features: e…xplores the interrelationships between sets and graphs and their applications to finite combinatorics; introduces the fundamental graph-theoretical notions from the standpoint of both set theory and dyadic logic, and presents a discussion on set universes; explains how sets can conveniently model graphs, discussing set graphs and set-theoretic representations of claw-free graphs; investigates when it is convenient to represent sets by graphs, covering counting and encoding problems, the random generation of sets, and the analysis of infinite sets; presents excerpts of formal proofs concerning graphs, whose correctness was verified by means of an automated proof-assistant; contains numerous exercises, examples, definitions, problemsand insight panels.
Langue : anglais
Edité par Springer, 2018
Série : Outstanding Contributions to Logic, Livre 10 sur 29. Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 110,41
EUR 17,65 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New.
- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 56,70
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. Etat : Neu. On Sets and Graphs | Perspectives on Logic and Combinatorics | Eugenio G. Omodeo (u. a.) | Taschenbuch | xix | Englisch | 2018 | Springer | EAN 9783319855363 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter…: preigu.
Langue : anglais
Edité par Springer 2018-05, 2018
Série : Outstanding Contributions to Logic, Livre 10 sur 29. Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 115,16
EUR 18,22 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
PF. Etat : New.
Langue : anglais
Edité par Springer, 2018
Série : Outstanding Contributions to Logic, Livre 10 sur 29. Livre 10 sur 29 - Outstanding Contributions to Logic
- Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 134,95
EUR 3,49 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. pp. 438.
