1. Васюков, В. Л. Формальная онтология / В. Л. Васюков. - М. : ИФ РАН, 2006. - 140 с.
2. Витгенштейн, Л. Философские работы : в 2 ч. / Л. Витгенштейн ; [пер. с нем. М. С. Козловой, Ю. А. Асеева ; вступ. ст. М. С. Козловой]. - М. : Гнозис, 1994. - Ч. 1. - 612 с.
3. Декарт, Р. Сочинения : в 2 т. / Р. Декарт ; [сост., ред. В. В. Соколова ; пер. с лат. и фр. С. Я ШейнманТопштейн и др.]. - М. : Мысль, 1989-1994. - Т. 2. - 1994. - 634 с.
4. Карнап, Р. Преодоление метафизики логическим анализом языка [Электронный ресурс] / Р. Карнап // Библиотека по философии. - Режим доступа: http://filosof.historic.ru/books/item/f00/s00/z0000161. - Дата доступа: 23.01.2019.
5. Клини, С. К. Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - М. : Мир, 1973. - 480 с.
6. Куайн, У. В. О. С точки зрения логики. 9 логико-философских очерков = From a logical point of view. 9 logico-philosophical essays / У. В. О. Куайн ; пер. В. А. Ладова, В. А. Суровцева ; под общ. ред. В. А. Суровцева. - М. : Канон+, 2010. - 271 с.
7. Лейбниц, Г. В. Сочинения : в 4 т. / Г. В. Лейбниц. - М. : Мысль, 1982-1989. - Т. 3 / [ред., сост., авт. вступ. ст., примеч.: Г. Г. Майоров, А. Л. Субботин]. - 1984. - 734 с. - (Философское наследие ; т. 92).
8. Лукасевич, Я. О методе в философии / Я. Лукасевич ; пер. с пол. Б. Т. Домбровского // Исследования аналитического наследия ЛьвовскоВаршавской философской школы / Инт философии Рос. акад. наук ; отв. ред. В. Л. Васюков. - СПб., 2006. - Вып. 1. - С. 263-265.
9. Половцева, В. Н. Введение к русскому изданию «Трактата об усовершенствовании интеллекта» / В. Н. По ловцева // Старейшее жизнеописание Спинозы: Б. Спиноза «Трактат об очищении интеллекта» / авт.сост. А. Д. Май данский. - Ростов н/Д, 2007. - С. 32-63.
10. Рассел, Б. Об обозначении / Б. Рассел // Избр. тр. / пер. с англ. В. В. Целищева, В. А. Суровцева. - Новосибирск, 2009. - С. 18-32.
11. Решер, Н. Взлет и падение аналитической философии / Н. Решер // Аналитическая философия: становление и развитие : антология / общ. ред. и сост. А. Ф. Грязнова. - М., 1998. - С. 454-465.
12. Серл, Дж. Что такое интенциональное состояние? / Дж. Серл // Язык, истина, существование : сб. / Том. гос. унт ; сост. В. А. Суровцев. - Томск, 2002. - С. 184-203.
13. Страуд, Б. Аналитическая философия и метафизика / Б. Страуд // Аналитическая философия : избр. тексты / сост. А. Ф. Грязнов ; пер. с англ. И. В. Борисовой [и др.]. - М., 1993. - С. 159-174.
14. Хайдеггер, М. Бытие и время / М. Хайдеггер. - Изд. 4е, испр. - М. : Акад. Проект, 2013. - 448 с.
15. Чень, Ч. Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли ; пер. с англ.: Г. В. Давыдова [и др.]. - М. : Наука, 1983. - 358 с.
16. Шлик, М. Поворот в философии / М. Шлик // Аналитическая философия : избр. тексты / сост. А. Ф. Грязнов ; пер. с англ. И. В. Борисовой [и др.]. - М., 1993. - С. 28-33.
17. Peckhaus, V. Leibniz’s influence on 19th century logic [Electronic resource] // Stanford Encyclopedia of Philosophy. - Mode of access: https://plato.stanford.edu/entries/leibnizlogicinfluence. - Date of access: 23.01.2019.
18. Russell, B. A critical exposition of the philosophy of Leibniz / B. Russell. - Cambridge : The Univ. Press, 1900. - 311 p.