Displaying similar documents to “The Cantor-Bernstein theorem for functors”

The Heyting doctrines

Petr Kůrka (1972)

Commentationes Mathematicae Universitatis Carolinae

Similarity: