On weakening the Deduction Theorem and strengthening of Modus Ponens ... Josep Maria Font - 2013 - Mathematical Logic Quarterly 59 (6):435-451.
確定! 回上一頁