TY  - BOOK
AU  - Янов, Юрий Иванович
TI  - № 11. Метод свёрток для разрешения свойств формальных систем
T2  - Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук
SN  - 2071-2898
PY  - 1977///
UR  - https://keldysh.ru/papers/1977/prep1977_11.pdf
ER  -