Recommend this title to your librarian

  • Conditional and Preferential Logics: Proof Methods and Theorem Proving