An introduction to mathematical logic