Title: An introduction to mathematical logic