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: 7 Total: 95 [Direct link] [Share]
