Carsten Butz Peter Johnstone Classifying Toposes for First-Order Theories. 33-58 1998 91 Ann. Pure Appl. Logic 1 db/journals/apal/apal91.html#ButzJ98