Slides for more introductory logic lectures

I've somewhat belatedly put online slides for the last six of last term's intro logic lectures. Lectures 11–13 introduce propositional trees, and lectures 14–16 introduce the language QL. To be honest, you would do much better to read my book: but since slides for previous lectures have been downloaded a surprising number of times, here's the remainder.