Strict Finitism and the Logic of Mathematical Applications - Ye, Feng (Springer Netherlands : Imprint: Springer, 2011)