I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra.
Awodey, Steven,
Kishida, Kohei and
Kotzsch, Hans-Christoph. 2014.
“Topos Semantics for Higher-Order Modal Logic.” Logique et Analyse 57(228): 591–636.