The syntax of categorical logic (1993)

by Michael Makkai