1. Vasyukov V. L. Formal ontology. Moscow, Russian Academy of Sciences, Institute of Philosophy, 2006. 140 p. (in Russian).
2. Wittgenstein L. Philosophical papers. Part 1. Moscow, Gnozis Publ., 1994. 612 p. (in Russian).
3. Descartes R. Selected works. Vol. 2. Moscow, Mysl` Publ., 1994. 634 p. (in Russian).
4. Carnap R. The elimination of metaphysics through logical analysis of language. Library of philosophy. Available at: http://filosof.historic.ru/books/item/f00/s00/z0000161 (accessed 23.01.2019) (in Russian).
5. Kleene S. C. Mathematical logic. New York, John Wiley & Sons, Inc., 1967. 398 p.
6. Quine W. V. From a logical point of view: 9 logico-philosophical essays. Cambridge, Harvard University Press, 1953. 184 p.
7. Leibniz G. W. Selected works. Vol. 3. Moscow, Mysl` Publ., 1984. 734 p. (in Russian).
8. Łukasiewicz J. On method in philosophy. Issledovaniya analiticheskogo naslediya L'vovsko-varshavskoj filosofskoj shkoly [Studies on the analytical heritage of the LvivWarsaw School of Philosophy]. St. Petersburg, 2006, iss. 2, pp. 263-265 (in Russian).
9. Polovtseva V. N. Introduction to the Russian edition of the «Treatise on the improvement of the understanding». Stareishee zhizneopisanie Spinozy: B. Spinoza «Traktat ob ochishchenii intellekta» [The oldest biography of Spinoza: B. Spinoza
10. «Tractatus de intellectus emendatione»]. RostovonDon, 2007, pp. 32-63 (in Russian).
11. Russell B. On denoting. Izbrannye trudy [Selected works]. Novosibirsk, 2009, pp. 18-32 (in Russian).
12. Resher N. The rise and fall of analytic philosophy. Analiticheskaya filosofiya: stanovlenie i razvitie: antologiya [Analytical philosophy: formation and development: anthology]. Moscow, 1998, pp. 454-465 (in Russian).
13. Searle J. What is an intentional state? Yazyk, istina, sushchestvovanie: sbornik [Language, truth, existence: compilation]. Tomsk, 2002, pp. 184-203 (in Russian).
14. Stroud B. Analytic philosophy and metaphysics. Analiticheskaya filosofiya: izbrannye teksty [Analytic philosophy: selected texts]. Moscow, 1993, pp. 159-174 (in Russian).
15. Heidegger M. Sein und Zeit. 17 Aufl. Tübingen, Max Niemeyer Verlag, 1993 458 S.
16. Chang Ch., Lee R. Symbolic logic and mechanical theorem proving. New York, Academic Press, 1973. 331 p.
17. Schlick M. The turning point in philosophy. Analiticheskaya filosofiya: izbrannye teksty [Analytic philosophy: selec ted texts]. Moscow, 1993, pp. 28-33 (in Russian).
18. Peckhaus V. Leibniz’s influence on 19th century logic. Stanford Encyclopedia of Philosophy. Available at: https:// plato.stanford.edu/entries/leibnizlogicinfluence/ (accessed 23.01.2019).
19. Russell B. A critical exposition of the philosophy of Leibniz. Cambridge, The University Press, 1900. 311 p.