Forcing and classifying topoi / - Ščedrov, Andrej (American Mathematical Society, 1984)