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