Representing CK theory with an action logic

  • 83
  • 79