下面推荐一些数理逻辑的教科书:
Enderton, Herbert (2001), A mathematical introduction to logic (2nd
ed.), Boston, MA: Academic Press, ISBN 978-0-12-238452-3.
Mendelson, Elliott (1997), Introduction to Mathematical Logic (4th ed.),
London: Chapman & Hall, ISBN 978-0-412-80830-2.
Rautenberg, Wolfgang (2010), A Concise Introduction to Mathematical
Logic (3rd ed.), New York: Springer Science+Business Media, ISBN
978-1-4419-1220-6.
模态逻辑的好的教科书有:
Blackburn, Patrick; de Rijke, Maarten; and Venema, Yde (2001) Modal
Logic. Cambridge University Press. ISBN 0-521-80200-8
Chellas, B. F. (1980) Modal Logic: An Introduction. Cambridge University
Press. ISBN 0-521-22476-4
Hughes, G. E., and Cresswell, M. J. (1996) A New Introduction to Modal
Logic. Routledge. ISBN 0-415-12599-5