2 treff

Toposes, algebraic geometry and logic
Conference on a Connections between Category Theory and Algebraic Geometry and Intuitionistic Logic
Bok Engelsk 1972
Introduction to the theory of categories and functors
Bucur, Ion
Bok Engelsk 1968