First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories Book Discussion
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)
by
