M. Makkai
First Order Categorical Logic - 1977 - Heidelberg Springer Berlin 1977 - Monograph - Lecture Notes in Mathematics v.611 .
9783540371007
Mathematics and Statistics
First Order Categorical Logic - 1977 - Heidelberg Springer Berlin 1977 - Monograph - Lecture Notes in Mathematics v.611 .
9783540371007
Mathematics and Statistics