Predicate Logic: 15 Tutorials

Logical System
copi

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