- 5 Résultats
prix le plus bas: € 38,28, prix le plus élevé: € 197,42, prix moyen: € 89,72
1
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Proposition: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic, 14, Band 14) - Ghilardi, Silvio
Commander
sur Amazon.de (Intern. Bücher)
€ 38,28
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Ghilardi, Silvio:

Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Proposition: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic, 14, Band 14) - Livres de poche

2010, ISBN: 9789048160365

Mitwirkende: Zawadowski, Marek, Springer Netherlands, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2002, 256 Seiten, Publiziert: 2010-08-03T00:00:01Z, Produktgruppe: Buch,… Plus…

Frais d'envoiGewöhnlich versandfertig in 3 bis 4 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) London Lane Company
fermer(X)
2
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - Ghilardi, Silvio, Zawadowski, M.
Commander
sur amazon.co.uk
£ 69,85
(environ € 80,79)
Envoi: € 5,551
Commander
Détails du fournisseur
Lien sponsorisé

Ghilardi, Silvio, Zawadowski, M.:

Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - Livres de poche

2010, ISBN: 9789048160365

Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 2002, 254 Seiten, Publiziert: 2010-10-28T00:00:01Z, Produktgruppe: Book, 0.36 kg, Verkaufsrang: 1290128, AI & Machine … Plus…

Gut Frais d'envoiIn stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.55) Fast Cat Books
fermer(X)
3
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - Ghilardi, Silvio, Zawadowski, M.
Commander
sur amazon.co.uk
£ 34,73
(environ € 40,17)
Envoi: € 5,551
Commander
Détails du fournisseur
Lien sponsorisé
Ghilardi, Silvio, Zawadowski, M.:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - Livres de poche

2010

ISBN: 9789048160365

Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 2002, 254 Seiten, Publiziert: 2010-10-28T00:00:01Z, Produktgruppe: Book, 0.36 kg, Verkaufsrang: 1290128, AI & Machine … Plus…

Frais d'envoiUsually dispatched within 5 to 6 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.55) ~~V KING~~
fermer(X)
4
Sheaves, Games, and Model Completions - Silvio Ghilardi M. Zawadowski
Commander
sur booklooker.de
€ 91,95
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Silvio Ghilardi M. Zawadowski:
Sheaves, Games, and Model Completions - Première édition

2010, ISBN: 9789048160365

Livres de poche

[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book is an example of frui… Plus…

Frais d'envoiVersandkostenfrei. (EUR 0.00) Moluna GmbH
fermer(X)
5
Commander
sur Biblio.co.uk
$ 209,15
(environ € 197,42)
Envoi: € 19,821
Commander
Détails du fournisseur
Lien sponsorisé
Silvio Ghilardi, M. Zawadowski:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) - Livres de poche

2011, ISBN: 9789048160365

Edition reliée

Springer, 2011-01-11. Softcover reprint of hardcover 1. Paperback. Used:Good., Springer, 2011-01-11, 0

Frais d'envoi EUR 19.82 Ergodebooks
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)
Auteur:
Titre:
ISBN:

9789048160365


This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts: existence of model completions, amalgamability, Beth definability, interpretability of second order quantifiers and uniform interpolation, definability of dual connectives like difference, projectivity, etc. are among the numerous topics which are covered. Dualities and sheaf representations are the main techniques in the book, together with Ehrenfeucht-Fraissé games and bounded bisimulations. The categorical instruments employed are rich, but a specific extended Appendix explains to the reader all concepts used in the text, starting from the very basic definitions to what is needed from topos theory. Audience: The book is addressed to a large spectrum of professional logicians, from such different areas as modal logics, categorical and algebraic logic, model theory and universal algebra.

Informations détaillées sur le livre - Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)


EAN (ISBN-13): 9789048160365
ISBN (ISBN-10): 9048160367
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Springer
256 Pages
Poids: 0,413 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2011-01-27T05:54:45+01:00 (Zurich)
Page de détail modifiée en dernier sur 2023-10-02T19:58:37+02:00 (Zurich)
ISBN/EAN: 9789048160365

ISBN - Autres types d'écriture:
90-481-6036-7, 978-90-481-6036-5
Autres types d'écriture et termes associés:
Titre du livre: what logics mean, categorical logic

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9789401599368 Sheaves, Games, and Model Completions (Silvio Ghilardi; M. Zawadowski)

< pour archiver...