P
propositional calculus
Projects with this topic
-
A tool for translate well-formed-formulas of propositional calculus into Begriffsschrift notation.
Updated
A tool for translate well-formed-formulas of propositional calculus into Begriffsschrift notation.