Cover Image

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

Show other versions (1)
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.
Description
Physical Description:viii, 301 pages : illustrations ; 25 cm.
Bibliography:Bibliography: pages [298]-301.
ISBN:0387084398