Make great presentations, longreads, and landing pages, as well as photo stories, blogs, lookbooks, and all other kinds of content oriented projects.
Логические теории одноместных функций на натуральном ряде
Semenov A. L. Decidability of Monadic Theories. Mathematical Foundations of Computer Science, Praha, Czechoslovakia, September 3–7, 1984. Proceedings. Lecture Notes in Computer Science. 1984. V. 176. 401–419. DOI 10.1007/BFb0030296