Title: Sketches of an Elephant
Subjects: Toposes, Logic, symbolic and mathematical, Model theory