Modern Mathematical Logic