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
First order categorical logic model-theoretical methods in the theory of topoi and related categories - Berlin Springer-verlag 1977
512.55 / MAK