Lectures on mathematical logic