Title: Methods in Mathematical Logic