Forcing and classifying topoi - Scedrov, Andrej 1955- (Memoirs of the American Mathematical Society, 1984)