Second-order languages and mathematical practice (1985)

by Steward Shapiro
Venue:Journal of Symbolic Logic