A textbook in formal logic for more mathematically minded students, based on the Elements of Deductive Logic course at the University of Oxford. Revised to accommodate the new syllabus. (Can be used on its own, but may also usefully accompany and extend Volker Halbach's 'The Logic Manual', Oxford University Press 2010.)
