I’m a professor of philosophy at the University of Calgary, in Canada. I’m working on an open textbook for mathematical logic geared at a non-mathematical audience (mainly, philosophy students). It lives at http://openlogicproject.org/. I’m also in the process of adapting an existing open introductory logic text for our first logic class, together with my grad student Aaron Thomas-Bolduc.

I’ve also been active in OER more generally, serving on my University’s OER Working Group and the Alberta OER Community of Practice.

I’m also in the process of adapting an existing open introductory logic text for our first logic class, together with my grad student Aaron Thomas-Bolduc.

That’s great! Are you referring to forall x or is there a different existing OER logic textbook for you to use as a starting point?