Introduction To Mathematical Logic (Extended Edition)