Tell your friends about this 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
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | July 31, 2002 |
| ISBN13 | 9781402006609 |
| Publishers | Springer-Verlag New York Inc. |
| Pages | 245 |
| Dimensions | 155 × 235 × 15 mm · 539 g |
| Language | English |