First order categorical logic
Subtitle: model-theoretical methods in the theory of topoi and related categories
By: Michael Makkai, Gonzalo Reyes.
Contributors: Reyes, Gonzalo E., 1937- joint author.
Series: Lecture notes in mathematics ; 611; Lecture notes in mathematics (Springer-Verlag) ;; 611.
Publisher: Springer-Verlag
Published: 1977
Place of publication: Berlin; New York
Language: eng
Number of pages: 301
Subjects: Model theory.; Categories (Mathematics); Toposes.
Notes: Bibliography: p. [298]-301.