Mathematical Logic: Revised Edition