Sentential Logic: 10 Tutorials

Logical System
hausman

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