Propositional logic. Compactness theorem.

Predicate logic with equality. Term rewriting.

Software for Illustrating these ideas.

• http://www.math.uwaterloo.ca/~snburris/htdocs/lmcs.html