A Series of Comprehensive Studies in Mathematics Volume 278: Toposes, Triples and Theories (1985)

by M Barr, C Wells