## Open Logic Project

University of Calgary,
Aug 14, 2018

As noted in today's "Four Short Links" from O'Reilly, "The Open Logic Project is a collection of teaching materials on mathematical logic aimed at a non-mathematical audience, intended for use in advanced logic courses as taught in many philosophy departments." Nice. Though as Tony Hirst comments, " the TeX source does mean you need a (La)TeX environment to run it (and the project does bundle some of the custom .sty style files you need in the repo, which is handy)." More on the project.

Today: 1 Total: 10 [Share]

] [