Toward Useful Type-Free Theories I (1984)

by S Feferman
Venue:The Journal of Symbolic Logic