Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics
This book investigates propositional intuitionistic and modal logics from an entirely new point of vProducator: SPRINGER PG
Contact
Categorie: Diverse
Subcategorie: Altele
Adresa web: karte.ro