Silvio Ghilardi Books
Sheaves Games and Model Completions
This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the struct...
Read More
Sheaves, Games, and Model Completions
This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the struct...
Read More