@article{CTGDC_1982__23_1_47_0, author = {M\"obus, Axel}, title = {Syntactical theory of functors}, journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques}, pages = {47--53}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {23}, number = {1}, year = {1982}, zbl = {0476.18001}, mrnumber = {648795}, language = {en}, url = {http://archive.numdam.org/item/CTGDC_1982__23_1_47_0/} }
TY - JOUR AU - Möbus, Axel TI - Syntactical theory of functors JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 1982 DA - 1982/// SP - 47 EP - 53 VL - 23 IS - 1 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://archive.numdam.org/item/CTGDC_1982__23_1_47_0/ UR - https://zbmath.org/?q=an%3A0476.18001 UR - https://www.ams.org/mathscinet-getitem?mr=648795 LA - en ID - CTGDC_1982__23_1_47_0 ER -
Möbus, Axel. Syntactical theory of functors. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 23 (1982) no. 1, pp. 47-53. http://archive.numdam.org/item/CTGDC_1982__23_1_47_0/
Topos Theory, Academic Press, London, 1977. | Zbl 0368.18001
,First order categorical logic, Lecture Notes in Math. 611, Springer (1978). | Zbl 0357.18002
& ,