Introductory Logic by James Nance and Douglas Wilson: (Fall Semester)
In this book, directed toward junior-high students, Douglas Wilson and James Nance lay the proper foundation of reasoning in the truth of God, and go on to train students in the crucial skills of defining terms, recognizing basic types of statements, arguing with syllogisms, arguing in ordinary language, and identifying informal fallacies.

Intermediate Logic by James Nance: (Spring Semester)
Students are introduced to propositional logic, logical operators, and truth tables, while reviewing and reapplying the concepts of validity, contradiction, consistency, and equivalence. Next they learn to construct formal proofs of validity by using basic rules to derive an argument’s conclusions from its premises. Finally, students discover how they can use the technique of “truth trees” to determine consistency, self-contradiction, tautology, equivalence, and validity.