Из истории формализации семантики. FS 2019, 7 (1).