links to examples
page created
natural deduction
page created
page created
abbreviation
abbreviation
page created
page created
correction
added comma
page created
page created
Fitch
corrected link
abbreviations and clearer formula
corrected abbreviation
corrected header
page created
page created