Categorical Foundations and the Foundations of Category Theory (1977)

by S Feferman
Venue:Logic, Foundations of Mathematics, and Computability Theory. Edited by