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...
Amazon.de (Intern... London Lane Company Verzendingskosten:Gewöhnlich versandfertig in 3 bis 4 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
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...
amazon.co.uk Fast Cat Books Gut Verzendingskosten:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.55) Details... |
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...
amazon.co.uk ~~V KING~~ Verzendingskosten:Usually dispatched within 5 to 6 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.55) Details... |
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...
booklooker.de |
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
Biblio.co.uk |
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...
Ghilardi, Silvio, Zawadowski, M.:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - pocketboek2010, 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...
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...
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...
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
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
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...