Title: Mathematical Logic for Computer Scienceience