Doctrines in Cathegorical logic (1977)

by A Kock, G Reyes
Venue:In: Handbook of Math. Logic