First-order Categorical Logic (1977)

by M Makkai, G Reyes
Venue:Lecture Notes in Mathematics