Kurgaev AF. The formalization of lists in the meta-language of normal forms of knowledge . Dopov. Nac. akad. nauk Ukr. [Internet]. 2017 Oct. 28 [cited 2026 Jun. 20];(10):18-27. Available from: https://nasu-periodicals.org.ua/index.php/dp/article/view/7781