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

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

1. Булычев Г. А. Математическая логика. – Москва: Наука, 1987. – 256 с.
2. Постников А. Г. Основы математической логики. – Санкт-Петербург: БХВ-Петербург, 2003. – 320 с.
3. Галимов В. А., Петров В. В. Логические основы информатики. – Москва: Физматлит, 2010. – 290 с.
4. Курбатов А. П. Теория доказательств и модели. – Москва: Физматлит, 2005. – 302 с.
5. Давидсон Д. Логика и ее применение. – Москва: Мир, 1995. – 280 с.
6. Либкин Л. Введение в математическую логику. – Москва: ВЛАДОС, 2000. – 272 с.
7. Кантор М. Основы теории множеств и логики. – Санкт-Петербург: Питер, 2012. – 350 с.
8. Шендерович В. В. Формальные системы и математическая логика. – Москва: МГУ, 1999. – 220 с.
9. Жук А. П. Логические основы информатики. – Москва: Изд-во МГУ, 2007. – 240 с.
10. Болтунов В. П. Теория моделей и ее приложения. – Новосибирск: Наука, 1980. – 310 с.
11. Дьяконов В. П. Применение логики в информатике. – Москва: Горячая линия – Телеком, 2011. – 200 с.
12. Савельев А. Л. Комбинаторика и логика. – Москва: Физматлит, 1998. – 256 с.
13. Ершов А. П. Основы теории алгоритмов и логики. – Москва: Наука, 1981. – 270 с.
14. Логунов В. С. Математическая логика для программистов. – Санкт-Петербург: Питер, 2015. – 384 с.
15. Рубин В. А. Основы логики и алгебры логики. – Москва: ФизМатемЛит, 2003. – 312 с.
16. Маркелов А. В. Символьная логика. – Москва: ЛКИ, 2009. – 328 с.
17. Татур В. М. Логика и теория доказательств. – Москва: Изд-во РУДН, 2013. – 280 с.
18. Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. – Москва: Наука, 1971. – 600 с.
19. Фридман С. Логика и теория моделей. – Москва: URSS, 2016. – 320 с.
20. Мирский Ю. И. Формальные языки и логика. – Москва: Высшая школа, 1997. – 224 с.