Toposes, Triples and Theories, Grundlagen der mathematischen Wissenschaften Vol 278 (1985)

by M Barr, C Wells