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

Makkai, Michael

First order categorical logic model-theoretical methods in the theory of topoi and related categories - Berlin Springer-verlag 1977

512.55 / MAK