- 5 resultados
menor preço: € 38.28, preço mais alto: € 197.42, preço médio: € 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
Encomendar
no/na Amazon.de (Intern. Bücher)
€ 38.28
Envio: € 3.001
Encomendar
Detalhes fornecedor
Link patrocinado
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) - Livro de bolso

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,… mais…

Custos de envio: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
fechar(X)
2
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - Ghilardi, Silvio, Zawadowski, M.
Encomendar
no/na amazon.co.uk
£ 69.85
(aproximadamente € 80.79)
Envio: € 5.551
Encomendar
Detalhes fornecedor
Link patrocinado

Ghilardi, Silvio, Zawadowski, M.:

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

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 … mais…

Gut Custos de envio:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.55) Fast Cat Books
fechar(X)
3
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - Ghilardi, Silvio, Zawadowski, M.
Encomendar
no/na amazon.co.uk
£ 34.73
(aproximadamente € 40.17)
Envio: € 5.551
Encomendar
Detalhes fornecedor
Link patrocinado
Ghilardi, Silvio, Zawadowski, M.:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - Livro de bolso

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 … mais…

Custos de envio:Usually dispatched within 5 to 6 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.55) ~~V KING~~
fechar(X)
4
Sheaves, Games, and Model Completions - Silvio Ghilardi M. Zawadowski
Encomendar
no/na booklooker.de
€ 91.95
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Silvio Ghilardi M. Zawadowski:
Sheaves, Games, and Model Completions - primeira edição

2010, ISBN: 9789048160365

Livro de bolso

[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… mais…

Custos de envio:Versandkostenfrei. (EUR 0.00) Moluna GmbH
fechar(X)
5
Encomendar
no/na Biblio.co.uk
$ 209.15
(aproximadamente € 197.42)
Envio: € 19.821
Encomendar
Detalhes fornecedor
Link patrocinado
Silvio Ghilardi, M. Zawadowski:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) - Livro de bolso

2011, ISBN: 9789048160365

Edição encadernada

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

Custos de envio: EUR 19.82 Ergodebooks
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)
Autor:
Título:
Número 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.

Dados detalhados do livro - 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
Livro de capa dura
Livro de bolso
Ano de publicação: 2010
Editor/Editora: Springer
256 Páginas
Peso: 0,413 kg
Língua: eng/Englisch

Livro na base de dados desde 2011-01-27T02:54:45-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-10-02T14:58:37-03:00 (Sao Paulo)
Número ISBN/EAN: 9789048160365

Número ISBN - Ortografia alternativa:
90-481-6036-7, 978-90-481-6036-5
Ortografia alternativa e termos de pesquisa relacionados:
Título do livro: what logics mean, categorical logic

Dados da editora

Autor: Silvio Ghilardi; M. Zawadowski
Título: Trends in Logic; Sheaves, Games, and Model Completions - A Categorical Approach to Nonclassical Propositional Logics
Editora: Springer; Springer Netherland
245 Páginas
Ano de publicação: 2010-10-28
Dordrecht; NL
Impresso / Feito em
Língua: Inglês
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
IX, 245 p.

BC; 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; BB; EA

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

Outros livros adicionais, que poderiam ser muito similares com este livro:

Último livro semelhante:
9789401599368 Sheaves, Games, and Model Completions (Silvio Ghilardi; M. Zawadowski)

< Para arquivar...