TY  - JOUR
AU  - Guitart, René
TI  - Qu'est-ce que la logique dans une catégorie ?
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1982
SP  - 115
EP  - 148
VL  - 23
IS  - 2
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://geodesic.mathdoc.fr/item/CTGDC_1982__23_2_115_0/
LA  - fr
ID  - CTGDC_1982__23_2_115_0
ER  -