A. Baumeister, “Logic terminology: codification problem”, Fildumka, no. 3, pp. 6–33, Apr. 2017.