Theories of finite type related to mathematical practice (1977)

by S Feferman
Venue:Handbook of Mathematical Logic