Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 31 de julio de 2002 |
| ISBN13 | 9781402006609 |
| Editores | Springer-Verlag New York Inc. |
| Páginas | 245 |
| Dimensiones | 155 × 235 × 15 mm · 539 g |
| Lengua | Inglés |