Sheaves, games, and model completions a categorial approach to nonclassical propositional logics

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Ghilardi, Silvio (VerfasserIn), Zawadowski, Marek (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Dordrecht [u.a.] KLuwer 2010
Schriftenreihe:Trends in logic 14
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!