Guide d'utilisation - Antidote 9
... Page 149. [41]. , A note on Kripke-Joyal semantics for the internal language of topos, in [9], p. 349-354. [42] H. Volger, Logical categories, semantical ...
... Page 149. [41]. , A note on Kripke-Joyal semantics for the internal language of topos, in [9], p. 349-354. [42] H. Volger, Logical categories, semantical ...