Classifying Toposes for First Order Theories (1997)

by Carsten Butz , Peter T. Johnstone
Venue:Annals of Pure and Applied Logic
Citations:7 - 3 self