Формальная семантика. Татьяна Черниговская