The Logic Manual
Volker Halbach is Reader and CUF Lecturer in Philosophy at the University of Oxford.