Logic & Formal Reasoning: Instructional Materials