TY  - JOUR
AU  - Borceux, Francis
AU  - Pedicchio, M. Cristina
TI  - De Morgan's and strong De Morgan's laws in a topos of shaves
JO  - Acta Universitatis Carolinae. Mathematica et Physica
PY  - 1987
SP  - 9
EP  - 12
VL  - 28
IS  - 2
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/AUCMP_1987__28_2_a2/
LA  - en
ID  - AUCMP_1987__28_2_a2
ER  -