First order cutegoricai logic (0)

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