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