First order categorical logic (1977)

by Michael Makkai, Gonzalo E Reyes
Venue:Lecture Notes in Mathematics