Strict finitism and the logic of mathematical applications by Feng Ye | Menrva Books | MenrvaBooks