<LATEX><LANG>en</LANG><text>First Theorems of Propositional Calculus</text></LATEX> <LATEX><LANG>de</LANG><text>Erste Sätze der Aussagenlogik</text></LATEX>

logik1 1.00.00 1.00.00 . <LATEX><LANG>en</LANG><text>First Theorems of Propositional Calculus</text></LATEX> <LATEX><LANG>de</LANG><text>Erste Sätze der Aussagenlogik</text></LATEX> From the axioms and rules of proposotional logic the first conclusions are drawn. principia@qedeq.org Michael Meylingmime@qedeq.org

first 1 1 1