Ionel Bucur

Toposes, algebraic geometry and logic