Kandidatarbete om natural deduction för propositional/first-order logic
Primary LanguagePureScriptGNU General Public License v3.0GPL-3.0