Theories of finite type related to mathematical practice (0)

by Solomon Feferman
Venue:In Barwise [5