Mathematical Logic and Theoretical Computer Science