First order categorical logic : model-theoretical methods in the theory of topoi and related categories /

Bibliographic Details

Main Author:	Makkai, Mihály, 1939-
Other Authors:	Reyes, Gonzalo, 1937-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1977.
Series:	Lecture notes in mathematics (Springer-Verlag) ; 611.
Subjects:	Model theory. Categories (Mathematics) Toposes.