Basis for Theoretical Computer Science