A Basis for Theoretical Computer Science