The book covers a standard syllabus in propositional and predicate logic. A teacher could use it to follow a geodesic path from truth tables to the Completeness Theorem. Teachers who are willing to follow our choice of ...