Toward Useful Type-Free Theories, I (1984)

by Solomon Feferman
Venue:Journal of Symbolic Logic