Mechanism and Freedom of Logic

Uses the computer language Prolog to teach a full formal predicate logic. Readers are intended to learn enough Prolog to use it to examine the formal system of logic, and vice versa, so that the major fundamental theorems of logic can be demonstrated.