Title: Mathematics and Logics in Computer Science