Foundations without foundationalism. A case for Second-Order Logic (1991)

by S Shapiro