Qu'est-ce que la logique dans une catégorie ?

@article{Guitart1982,
author = {Guitart, René},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {universal algebras; universal topologies; topoi; fibrations; exact squares; categorical logics},
language = {fre},
number = {2},
pages = {115-148},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Qu'est-ce que la logique dans une catégorie ?},
url = {http://eudml.org/doc/91293},
volume = {23},
year = {1982},
}

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
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 23
IS - 2
SP - 115
EP - 148
LA - fre
KW - universal algebras; universal topologies; topoi; fibrations; exact squares; categorical logics
UR - http://eudml.org/doc/91293
ER -