Theories of finite type related to mathematical practice (1977)

by S Feferman
Venue:in Handbook of Mathematical Logic