- 5 resultaten
laagste prijs: € 38,28, hoogste prijs: € 197,42, gemiddelde prijs: € 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
bestellen
bij Amazon.de (Intern. Bücher)
€ 38,28
verzending: € 3,001
bestellenGesponsorde link
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) - pocketboek

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,… Meer...

Verzendingskosten:Gewöhnlich versandfertig in 3 bis 4 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) London Lane Company
2
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - Ghilardi, Silvio, Zawadowski, M.
bestellen
bij amazon.co.uk
£ 69,85
(ongeveer € 80,79)
verzending: € 5,551
bestellenGesponsorde link

Ghilardi, Silvio, Zawadowski, M.:

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

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 … Meer...

Gut Verzendingskosten:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.55) Fast Cat Books
3
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - Ghilardi, Silvio, Zawadowski, M.
bestellen
bij amazon.co.uk
£ 34,73
(ongeveer € 40,17)
verzending: € 5,551
bestellenGesponsorde link
Ghilardi, Silvio, Zawadowski, M.:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - pocketboek

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 … Meer...

Verzendingskosten:Usually dispatched within 5 to 6 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.55) ~~V KING~~
4
Sheaves, Games, and Model Completions - Silvio Ghilardi M. Zawadowski
bestellen
bij booklooker.de
€ 91,95
verzending: € 0,001
bestellenGesponsorde link
Silvio Ghilardi M. Zawadowski:
Sheaves, Games, and Model Completions - eerste uitgave

2010, ISBN: 9789048160365

pocketboek

[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… Meer...

Verzendingskosten:Versandkostenfrei. (EUR 0.00) Moluna GmbH
5
bestellen
bij Biblio.co.uk
$ 209,15
(ongeveer € 197,42)
verzending: € 19,821
bestellenGesponsorde link
Silvio Ghilardi, M. Zawadowski:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) - pocketboek

2011, ISBN: 9789048160365

gebonden uitgave

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

Verzendingskosten: EUR 19.82 Ergodebooks

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)

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.

Gedetalleerde informatie over het boek. - 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
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
256 Bladzijden
Gewicht: 0,413 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-01-27T05:54:45+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-10-02T19:58:37+02:00 (Amsterdam)
ISBN/EAN: 9789048160365

ISBN - alternatieve schrijfwijzen:
90-481-6036-7, 978-90-481-6036-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Titel van het boek: what logics mean, categorical logic


Gegevens van de uitgever

Auteur: Silvio Ghilardi; M. Zawadowski
Titel: Trends in Logic; Sheaves, Games, and Model Completions - A Categorical Approach to Nonclassical Propositional Logics
Uitgeverij: Springer; Springer Netherland
245 Bladzijden
Verschijningsjaar: 2010-10-28
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,454 kg
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
IX, 245 p.

BC; Logic; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Interpolation; logic; modal logic; model theory; proof; simulation; Category Theory, Homological Algebra; Order, Lattices, Ordered Algebraic Structures; Mathematical Logic and Foundations; Artificial Intelligence; Logic; Category Theory, Homological Algebra; Order, Lattices, Ordered Algebraic Structures; Mathematical Logic and Foundations; Artificial Intelligence; Algebra; Mathematik: Logik; Mathematische Grundlagen; Künstliche Intelligenz

1. Introduction. 2. Preliminary Notions. 3. Model Completions. 4. Heyting Algebras. 5. Duality for Modal Algebras. 6. Model Completions in Modal Logic. 7. Algebraically Closed Models. 8. Open Problems. 9. Appendix. References. Glossary of Notation. Subject Index.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789401599368 Sheaves, Games, and Model Completions (Silvio Ghilardi; M. Zawadowski)


< naar Archief...