A General Approach to Non-Classical First-Order Logics

Categories and tags

  • Abstrakt