Levickiy, Y. A. Из истории формализации семантики. FS 2019, 7.