Formal systems for topos-theoretic modalities

Lavendhomme R., Lucas Th. and G. E. Reyes (1989). Formal systems for topos-
theoretic modalities. Bull. Soc. math. Belgique (serie A), XLI, Fascicule 2. 333-372.

Attribution-NonCommercial-NoDerivs 2.5
This work is licensed under a Attribution-NonCommercial-NoDerivs 2.5.