M. Zawadowski – författare
Visar alla böcker från författaren M. Zawadowski. Handla med fri frakt och snabb leverans.
3 produkter
Sheaves, Games, and Model Completions
A Categorical Approach to Nonclassical Propositional Logics
Av Silvio Ghilardi, M. Zawadowski
Inbunden, 2002
1096 kr
Lägg i varukorg
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. Its main aim consists in investigating the existence of model completions for equational theories arising from propositional …
Sheaves, Games, and Model Completions
A Categorical Approach to Nonclassical Propositional Logics
Av Silvio Ghilardi, M. Zawadowski
Häftad, 2010
1096 kr
Lägg i varukorg
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. Its main aim consists in investigating the existence of model completions for equational theories arising from propositional …
Sheaves, Games, and Model Completions
A Categorical Approach to Nonclassical Propositional Logics
Av M. Zawadowski, Silvio Ghilardi
E-bok, 2013
1413 kr
Lägg i varukorg
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. Its main aim consists in investigating the existence of model completions for equational theories arising from propositional …
