Continuing the high standard of logic publishing at OUP, the Oxford Texts in Logic cover core courses in logic and are aimed at mathematicians, computer scientists and philosophers.
Recent titles in the Oxford Texts in Logic series.
Proof and Disproof in Formal Logic An Introduction for programmers