Introduction to language as a formal symbolic system and to the techniques of analysis and reasoning that reveal its workings. A-F only.