Projects with this topic
Sort by:
-
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.