Крейдлин Григорий Ефимович. Формальный язык геометрии как знаковая система. 2 : Расширенный синтаксис / Григорий Е. Крейдлин, Георгий Б. Шабат // Вестник РГГУ. Серия "История. Филология. Культурология. Востоковедение". - 2018. - № 12 (45). - С. 122-143 ; Московский лингвистический журнал. - 2018. - Т. 20. - С. 122-143.
