Strict finitism and the logic of mathematical applications - Ye, Feng (Springer, 2011)