First-order categorical logic (1977)

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