An accessible and practical introduction to basic propositional and first-order logic, with content which can be easily customized to a variety of undergraduate and postgraduate degree courses. Suitable for both mathematics and computer science students. Exercises for each section cover all key con[...]