See page on personal website: http://users.ox.ac.uk/~sfop0114/
Please see a list of publications at http://users.ox.ac.uk/~sfop0114/publications.html
I teach Logic, including Introduction to Logic.