Introduction to mathematical logic