Библиографическое описание:Mishko, Nikolay. General Metalanguage for Formal Proofs = Общий метаязык для формальных доказательств / N. A. Mishko. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2026. - Т. 19, № 3. - С. 335-346. - Библиогр.: с. 346. - ISSN 1997-1397.
Аннотация:В работе представлена операционная семантика языка, достаточного мощного для выражения произвольных формальных систем с вычислимыми правилами вывода и метатеорем об этих системах, при этом достаточно простого для реализации и теоретического анализа, а также потенциально пригодного для самоверификации
