G.E.: Doctrines in categorical logic (1977)

by A Kock, Reyes
Venue:Handbook of Mathematical Logic, from the series Studies in Logic and the Foundations of Mathematics