Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2002. gada 31. jūlijs |
| ISBN13 | 9781402006609 |
| Izdevēji | Springer-Verlag New York Inc. |
| Lapas | 245 |
| Izmēri | 155 × 235 × 15 mm · 539 g |
| Valoda | Angļu |