Classifying Toposes for First Order Theories (1997)

by C Butz, P T Johnstone
Venue:Annals of Pure and Applied Logic