Toposes, algebraic geometry and logic
Conference on a Connections between Category Theory and Algebraic Geometry and Intuitionistic Logic
Bok Engelsk 1972
Conference on a Connections between Category Theory and Algebraic Geometry and Intuitionistic Logic
Bok Engelsk 1972