Fully Adequate Gentzen Systems And The Deduction Theorem. Josep Font, Ramon Jansana & Don Pigozzi · Reports on Mathematical Logic:115-165 (2001).
確定! 回上一頁