Shalack V. On Some Applied First-Order Theories which Can Be Represented by Definitions. B Sect Log. 2015;44(1/2):19-24. doi:10.18778/0138-0680.44.1.2.03