Title: Mathematical Logic and Theoretical Computer Science