Second-Order Languages and Mathematical Practice

Stewart Shapiro. Second-Order Languages and Mathematical Practice. Journal of Symbolic Logic, 50(3):714-742, 1985.

Abstract

Abstract is missing.