Sentential Logic: 10 Tutorials

Logical System
herrick

Tutorials 1 to 10: sentential logic, using the Herrick syntax.