1. D. Gilbert and P. Bernays, The foundation of mathematics. Logical calculus and formalization of arithmetic (Nauka Press, 1979).
2. V. K. Kabulov, Algorithmization in Continuum Mechanics (Fan Press, 1979).
3. V. K. Kabulov, “Algorithm for solving systems of logical equations,” Computational and applied mathematics 125, 5–19 (2006).
4. V. K. Kabulov, “Search graphs for solutions to equations of logic,” Computational and applied mathematics 112, 213–218 (2004).
5. V. K. Kabulov, “Building decision tables for a system of logical equations,” Zhurnal Vychislitel’noi Matematiki i Matematicheskoi Fiziki 109, 101–113 (2004).