Strict Finitism and the Logic of Mathematical Applications - Ye, Feng (Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 2011)