$\begingroup$

Recently I read the chapter "Doctrines in Categorical Logic" by Kock, and Reyes in the Handbook of Mathematical Logic. And I was quite impressed with the entire chapter. However it is very short, and considering that this copy was published in 1977, possibly a bit out of date.

My curiosity has been sparked (especially given the possibilities described in the aforementioned chapter) and would like to know of some more modern texts, and articles written in this same style (that is to say coming from a logic point of view with a strong emphasis on analogies with normal mathematical logic.)

However, that being said, I am stubborn as hell, and game for anything.

So, Recommendations?

Side Note: More interested in the preservation of structure, and the production of models than with any sort of proposed foundational paradigm