Title: Mathematical Logic (Revised Edition)