@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 Cat\'egoriques},
volume = {23},
year = {1982},
pages = {115-148},
mrnumber = {667394},
zbl = {0496.18002},
language = {fr},
url = {http://dml.mathdoc.fr/item/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 Catégoriques, Tome 23 (1982) pp. 115-148. http://gdmltest.u-ga.fr/item/CTGDC_1982__23_2_115_0/