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

الوصف

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