Longtime reader Kyle Noll, an Associate Professor at the University of Texas MD Anderson Cancer Center, writes about his interest in online opportunities for learning more about logic:

For background, I majored in philosophy and completed a couple of undergraduate courses in FOL and ZF set theory (by your old colleagues at UT in the early 2000s!). To refresh, I recently completed the online courses offered by BYU covering axiomatic systems, mathematical induction, and Godel’s theorems. I thoroughly enjoyed the format though the topic surveys were a bit brief.

I understand a number of “teach yourself” approaches exist, including the excellent texts from the Open Logic Project (we used forall x in one of the BYU courses). Aside from these, I was curious if your readers could recommend any other structured options for distance education, especially enrollment in online courses and/or auditing possibilities. It is unfortunately not possible to commit to (not to mention unlikely to qualify for) one of the rigorous full-time residential logic master’s programs in the US or Europe at this time.

Comments are open for any advice readers can offer Professor Noll, which I imagine will benefit other readers interested in studying more logic.