Домашняя работа по математической логике: «математическая логика» заказ № 2644097

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

1. Шень А. Курс математической логики. Москва, Наука, 1979, 400 с.
2. Черняк В. И. Математическая логика: учебное пособие. Санкт-Петербург, Питер, 2010, 320 с.
3. Иванов С. П. Основы формальных систем и доказательств. Москва, Физматлит, 2005, 280 с.
4. Хартманис Я., Шнирельман А. Введение в теорию моделей. Москва, Мир, 1985, 450 с.
5. Голдинг Ф. Введение в математическую логику и теорию алгоритмов. Москва, Мир, 1990, 350 с.
6. Медведев Ю. Л. Избранные труды по логике и теории вычислимости. Москва, Наука, 1982, 500 с.
7. Рябко В. В. Алгоритмы и формальные методы. Москва, РГГУ, 2012, 260 с.
8. Томас В. Избранные главы по логике и вычислимости. Журнал "Вестник МГУ. Серия Математика", 2008, №4, с. 33-56.
9. Маркова А. А. Теорема Маркова в логике и теории алгоритмов. Москва, Наука, 1977, 310 с.
10. Киселёв С. Л. Математическая логика и теория множеств. Санкт-Петербург, БХВ-Петербург, 2011, 400 с.
11. Белов А. А. Философские аспекты математической логики. Москва, Изд-во МГУ, 2015, 230 с.
12. Петров Н. Н. Методы доказательства в математической логике. Москва, ФИЗМАТЛИТ, 2009, 270 с.
13. Грот Р. Введение в формальные системы. Санкт-Петербург, Питер, 2013, 310 с.
14. Смирнов И. В. Логика и теория доказательств. Москва, Логос, 2016, 290 с.
15. Захаров В. К. Математическая логика: учебник для вузов. Москва, Юрайт, 2019, 350 с.
16. Колядин В. А. Электронные ресурсы по математической логике // URL: http://mathlogic.ru, свободный доступ, 2022.
17. Пономарёв В. В. Логика и теоретические основы информатики. Москва, Наука, 2000, 320 с.
18. Давыдов А. А. Теория доказательств и математическая логика. Санкт-Петербург, БХВ-Петербург, 2017, 340 с.
19. Юдин М. И. Математическая логика и основы дискретной математики. Москва, ФИЗМАТЛИТ, 2014, 400 с.
20. Николаев С. В. Логические системы и алгоритмы. Москва, Эксмо, 2018, 270 с.