First-order categorical logic

Makkai M. and G. E. Reyes (1977). First-order categorical logic. LNM 611.
Berlin: Springer-Verlag.

Attribution-NonCommercial-NoDerivs 2.5
This work is licensed under a Attribution-NonCommercial-NoDerivs 2.5.