~ tracking down this book ~
Toposes, Algebraic Geometry and Logic by Ionel Bucur — OmList