A Rejection System for the First-Degree Formulae of some Relevant Logics Academic Article uri icon

publication date

  • January 1, 2008