Applied Mathematical Logic