Some formal systems for the unlimited theory of structures and categories (1974)

by S Feferman