Open Logic at Open Education Week 2018

It’s Open Education Week, and the Open logic Project will be part of the OER showcase at the University of Calgary tomorrow.

• The presentation that Aaron and Richard are using for today’s workshop on “OER: What, Why, Where, How?“
• The GitHub repository
• The stand-alone textbooks from the OLP:
  • Sets, Logic, Computation
  • Incompleteness and Computability
  • Boxes and Diamonds (in progress)
• The adaptation/remix/making accessible of P. D. Magnus’s intro logic text: forall x: Calgary
• The ISSOTL 2018 poster on the evaluation of forall x: Calgary in the classroom.
• The interactive proof checker to go with forall x by Kevin Klement