LaTeX for Logicians

Found a super groovy page via Geek Notes: LaTeX for Logi­cians. “A guide to resources of inter­est to logi­cians and philoso­phers using LaTeX to pro­duce papers or pre­sen­ta­tions, teach­ing mate­ri­als, the­ses or books, and in par­tic­u­lar want­i­ng to include log­i­cal mat­ter such as nat­ur­al deduc­tion proof.”

Leave a Reply