Toposes, Triples and Theories. Number 278 in Comprehensive studies in mathematics (1985)

by M Barr, C Wells