I generally use a special version of Craig DeLancey’s A Concise Introduction to Logic (a good opensource textbook) to teach Logic, with a few supplements here and there, generally from Discrete Mathematics. This set of notes for logic focuses on symbolic logic and proof.