Решение задач по математике: «математическая логика» заказ № 148060

Список источников

1. А. Г. Даниленко, Математическая логика: учебник, Москва, Физматлит, 2010, 320 с.
2. Л. С. Шестакова, Основы математической логики, Санкт-Петербург, Питер, 2015, 288 с.
3. Ю. М. Черняк, Математическая логика и теория алгоритмов, Москва, Наука, 2012, 256 с.
4. В. И. Арнольд, Введение в математическую логику, Москва, Логос, 2008, 240 с.
5. И. М. Кон, Теория доказательств и математическая логика, Новосибирск, Наука, 2014, 300 с.
6. С. В. Авдеев, Логика для математиков, Москва, МЦНМО, 2017, 192 с.
7. А. А. Иванов, Решение задач по математической логике, Москва, Высшая школа, 2011, 160 с.
8. Б. Л. Петров, Сборник задач по математической логике, Санкт-Петербург, БХВ-Петербург, 2013, 224 с.
9. М. К. Гусев, Математическая логика: избранные задачи, Москва, Физматлит, 2016, 180 с.
10. В. П. Лебедев, Основы логики и теории множеств, Екатеринбург, УрФУ, 2010, 280 с.
11. Н. Н. Подольский, Математическая логика и алгоритмы, Москва, МГТУ, 2018, 312 с.
12. П. В. Смирнов, Решение логических задач, Москва, Дрофа, 2014, 150 с.
13. С. П. Емельянов, Логика и теория доказательств, Новосибирск, СибАК, 2015, 230 с.
14. Е. А. Козлов, Теория множеств и математическая логика, Санкт-Петербург, Питер, 2012, 270 с.
15. Н. В. Орлова, Введение в математическую логику, Москва, ВЛАДОС, 2019, 200 с.
16. Ю. С. Рогов, Математическая логика и моделирование, Москва, Наука, 2013, 256 с.
17. А. В. Мельников, Логические системы и алгоритмы, Москва, Физматлит, 2017, 220 с.
18. М. Д. Соловьёв, Логика для программистов, Москва, БХВ-Петербург, 2016, 184 с.
19. Е. Н. Филиппов, Теория формальных систем, Москва, РХД, 2011, 208 с.
20. НИИ Кибернетики РАН, Методические указания по математической логике, Москва, 2020, электронный ресурс.