Для цитирования:

Снятков А.С. Разрешимость теории Th(w, 0,1, <, +, f₀,..., f_n). Моделирование и анализ информационных систем. 2010;17(3):72-90.

For citation:

Snyatkov A.S. On Decidability of the Theory Th(u, 0,1,<, +, f₀,..., f_n). Modeling and Analysis of Information Systems. 2010;17(3):72-90. (In Russ.)