Triples, Toposes and Theories (1985)

by M Barr, C F Wells