On Frege’s Begriffsschrift notation for propositional logic (2017) [pdf]cs.mcgill.ca4 pointstosh7 years ago