Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Pr
123,67 €
Subtitle A Categorical Approach to Nonclassical Propositional Logics. This text investigates propositional intuistionistic and modal logics from an alternative point of view. Preliminary Notions. Heyting Algebras.
Jetzt bei Ebay: