@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/