Qu'est-ce que la logique dans une catégorie ?
Cahiers de topologie et géométrie différentielle, Tome 23 (1982) no. 2, pp. 115-148.
@article{CTGDC_1982__23_2_115_0,
     author = {Guitart, Ren\'e},
     title = {Qu'est-ce que la logique dans une cat\'egorie ?},
     journal = {Cahiers de topologie et g\'eom\'etrie diff\'erentielle},
     pages = {115--148},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {23},
     number = {2},
     year = {1982},
     mrnumber = {667394},
     zbl = {0496.18002},
     language = {fr},
     url = {http://www.numdam.org/item/CTGDC_1982__23_2_115_0/}
}
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
PY  - 1982
SP  - 115
EP  - 148
VL  - 23
IS  - 2
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_1982__23_2_115_0/
LA  - fr
ID  - CTGDC_1982__23_2_115_0
ER  - 
%0 Journal Article
%A Guitart, René
%T Qu'est-ce que la logique dans une catégorie ?
%J Cahiers de topologie et géométrie différentielle
%D 1982
%P 115-148
%V 23
%N 2
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1982__23_2_115_0/
%G fr
%F CTGDC_1982__23_2_115_0
Guitart, René. Qu'est-ce que la logique dans une catégorie ?. Cahiers de topologie et géométrie différentielle, Tome 23 (1982) no. 2, pp. 115-148. http://www.numdam.org/item/CTGDC_1982__23_2_115_0/