Conte aos seus amigos sobre este item:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics - Trends in Logic Silvio Ghilardi 2002 edition
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics - Trends in Logic
Silvio Ghilardi
This book is an example of fruitful interaction between (non-classical) propo sitionallogics and (classical) model theory which was made possible due to categorical logic.
245 pages, biography
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 31 de julho de 2002 |
| ISBN13 | 9781402006609 |
| Editoras | Springer-Verlag New York Inc. |
| Páginas | 245 |
| Dimensões | 155 × 235 × 15 mm · 539 g |
| Idioma | Inglês |