Text this: Logical approaches to computational barriers :