Suchergebnisse - Ghilardi, Silvio
- Treffer 1 – 4 von 4
-
1Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional LogicsVeröffentlicht 2002Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
2Relational and partial variable sets and basic predicate logicVeröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Sheaves, games, and model completions: a categorial approach to nonclassical propositional logicsVeröffentlicht 2010Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4Sulle relazioni di copertura nel modello dei filtri di una teoria proposizionale intuizionistaVeröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …