Baumeister, A.; Vasylchenko, A.; Kebuladze, V.; Kozachenko, N.; Konverskyi, A.; Laktionova, A.; Maievskyi, O.; Navrotskyi, V.; Ostroushko, O.; Popovych, M.; Khomenko, I.; Shramko, Y.; Shcherbyna, O. Logic Terminology: Codification Problem. Fildumka 2017, 6-33.