Kock A. and G. E. Reyes (1977). Doctrines in categorical logic. In J. Barwise (ed.).
Handbook of Math. Logic, 283-313.
From mathematics to literature. – Des mathématiques à la littérature.
Kock A. and G. E. Reyes (1977). Doctrines in categorical logic. In J. Barwise (ed.).
Handbook of Math. Logic, 283-313.