1. [Gö] Gödel, K. (1930). The completeness of the axioms of the logical calculus of functions (ger). Monthly issues on mathematics and physics, 37: 349-360.
2. [HB] Hilbert, D., Bernays, P. (1979). Fundamentals of Mathematics. Vol. 1. Logical calcu¬lus and formalization of arithmetic (rus). Moscow, Science, 560 p.
3. [Kol] Kolmogorov, A. N. (1925). About the principle of tertium non datur (rus). Mathe¬matical digest, 32 (4): 646–667.
4. [KK] Korn, G. A., Korn, T. M. (1974). Mathematical handbook for scien¬tists and engi¬neers (rus). Moscow, Science, 832 p.
5. [KR] Kornilowicz, A., Rudnicki, P. (2004). Fundamental theorem of arithme¬tic. Formalized Mathematics, 12 (2): 179–185.