Kurgaev, A.F. 2024. The formalization of lists in the meta-language of normal forms of knowledge . Reports of the National Academy of Sciences of Ukraine. 10 (Sep. 2024), 18–27. DOI:https://doi.org/10.15407/dopovidi2017.10.018.