Predicate Logic: 15 Tutorials

Logical System

Tutorials 11 to 25: predicate logic, using the Hausman syntax.