Foundations without Foundationalism. A Case for Second-Order Logic (1991)

by S Shapiro