Merkliste 
 1 Ergebnisse 
 
1

Classifying toposes for first-order theories:

Butz, Carsten ; Johnstone, Peter
Annals of Pure and Applied Logic.  91 (1998)  1 - p. 33-58 , 1998