- 5 resultaten
laagste prijs: € 49,65, hoogste prijs: € 200,01, gemiddelde prijs: € 121,02
1
Sheaves, Games, and Model Completions - Silvio Ghilardi M. Zawadowski
bestellen
bij booklooker.de
€ 123,45
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Silvio Ghilardi M. Zawadowski:

Sheaves, Games, and Model Completions - eerste uitgave

2002, ISBN: 9781402006609

gebonden uitgave

[ED: Gebunden], [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 fruitful interactio… Meer...

Verzendingskosten:Versandkostenfrei. (EUR 0.00) Moluna GmbH
dichtslaan (X)
2
bestellen
bij AbeBooks.de
€ 49,65
verzending: € 30,281
bestellen
Details aangeboden
Gesponsorde link

Zawadowski, M.,Ghilardi, Silvio:

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

2002, ISBN: 1402006608

[EAN: 9781402006609], Gebraucht, guter Zustand, [PU: Springer], Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, et… Meer...

NOT NEW BOOK. Verzendingskosten: EUR 30.28 HPB-Red, Dallas, TX, U.S.A. [71054723] [Rating: 5 (von 5)]
dichtslaan (X)
3
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics - Silvio Ghilardi|M. Zawadowski
bestellen
bij AbeBooks.de
€ 123,81
verzending: € 17,501
bestellen
Details aangeboden
Gesponsorde link
Silvio Ghilardi|M. Zawadowski:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics - gebonden uitgave, pocketboek

2002

ISBN: 1402006608

[EAN: 9781402006609], Neubuch, [PU: Springer Netherlands], MATHEMATICS COMPUTERS INTELLIGENCE (AI) & SEMANTICS LOGIC PHILOSOPHY INTERPOLATION MODAL MODEL THEORY PROOF SIMULATION LOGIK CAT… Meer...

NEW BOOK. Verzendingskosten: EUR 17.50 moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
dichtslaan (X)
4
bestellen
bij Biblio.co.uk
$ 211,89
(ongeveer € 200,01)
verzending: € 19,821
bestellen
Details aangeboden
Gesponsorde link
Silvio Ghilardi, M. Zawadowski:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) - gebonden uitgave, pocketboek

2002, ISBN: 9781402006609

Springer, 2002-07-31. 2002. Hardcover. Used:Good., Springer, 2002-07-31, 0

Verzendingskosten: EUR 19.82 Ergodebooks
dichtslaan (X)
5
Sheaves, Games, and Model Completions : A Categorical Approach to Nonclassical Propositional Logics - Ghilardi, Silvio
bestellen
bij Blackwells.co.uk
£ 93,54
(ongeveer € 108,19)
verzending: € 7,521
bestellen
Details aangeboden
Gesponsorde link
Ghilardi, Silvio:
Sheaves, Games, and Model Completions : A Categorical Approach to Nonclassical Propositional Logics - gebonden uitgave, pocketboek

ISBN: 9781402006609

hardback, [PU: Springer]

in stock. Verzendingskosten:Unknown. (EUR 7.52) Blackwells.co.uk
dichtslaan (X)
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
auteur:
Titel:
ISBN:

9781402006609


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


EAN (ISBN-13): 9781402006609
ISBN (ISBN-10): 1402006608
Gebonden uitgave
Verschijningsjaar: 2002
Uitgever: Springer-Verlag New York Inc.
254 Bladzijden
Gewicht: 0,540 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2008-02-19T09:55:15+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-10-02T19:58:37+02:00 (Amsterdam)
ISBN/EAN: 9781402006609

ISBN - alternatieve schrijfwijzen:
1-4020-0660-8, 978-1-4020-0660-9
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: warszawski, zawadowski, ehrenfeucht
Titel van het boek: what logics mean, trend, 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: 2002-07-31
Dordrecht; NL
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
IX, 245 p.

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

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.
Includes supplementary material: sn.pub/extras

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