ФУНДАМЕНТ БУДУЩЕГО: Юбилейная серия в честь 270-летия МГУ имени М.В. Ломоносова, Теоретическая лингвистика: Формальные подходы к языку