Список литературы по теме практического занятия

Основная литература

1. Бочаров, В.А. Введение в логику : учебник / В.А. Бочаров, В.И. Маркин. – М. : ИД «ФОРУМ» : ИНФРА-М, 2008. – С. 447–496.

2. Войшвилло, Е.К. Логика : учебник для студентов высших учебных заведений / Е.К. Войшвилло, М.Г. Дегтярев. – М. : ВЛАДОС-ПРЕСС, 2001. – С. 387–421.

3. Войшвилло, Е.К. Символическая логика (классическая и релевантная): философско-методологические аспекты : учебное пособие. – Изд. 2-е. – М. : Книжный дом «ЛИБРОКОМ», 2011. – С. 39–87.

4. Гетманова, А.Д. Учебник логики. Со сборником задач / А.Д. Гетманова. – 6-е изд., перераб. – М. : КНОРУС, 2006. – С. 178–206.

5. Попов, Ю.П. Логика : учебное пособие / Ю.П. Попов. – 3-е изд., перераб. и доп. – М. : КНОРУС, 2009. – С. 138–164.

Дополнительная литература

6. Гладкий, А.В. Введение в современную логику / А.В. Гладкий. – М. : МЦНМО, 2001. – С. 83–180.

7. Жоль, А.А. Логика : учебное пособие для вузов. – М. : ЮНИТИ-ДАНА, 2004. – С. 250–310.

8. Иванов, Е.А. Логика : учебник для студентов юридических вузов и факультетов / Е.А. Иванов. – Изд. 3-е, перераб. и доп. – М. : Волтерс Клувер, 2005. – С. 194–215.

9. Ивлев, Ю.В. Логика : учебник / Ю.В. Ивлев. – Изд. 3-е, перераб. и доп. – М. : ООО «ТК Велби», 2002. – С. 118–140.

10. Непейвода, Н.Н. Прикладная логика : учебное пособие / Н.Н. Непейвода. – Ижевск, 2002. – С. 293–334.

11. Никифоров, А.Л. Логика : учебник / А.Л. Никифоров. – М. : Весь мир, 2001.

12. Светлов, В.А. Современная логика : учебное пособие. – СПб. : Питер, 2006. – С. 297–330.

13. Формальная логика : учебник / отв. ред. И.Я. Чупахин, И.Н. Бродский. – Л. : ЛГУ, 1977. – С. 267–344.

14. Черняк, Н.А. Логика : учебное пособие / Н.А. Черняк. – Омск : ОмГУ, 2004. – С. 63–67.

15. Хаггард, Г. Дискретная математика для программистов : учебное пособие / Г. Хаггард, Дж. Шлипф, С. Уайтсайдс ; пер. с англ. – М. : БИНОМ. Лаборатория знаний, 2010.

16. Шуман, А.Н. Современная логика: теория и практика / А.Н. Шуман. – Мн. : Экономпресс, 2004. – С. 223–244.

Монографии, статьи, словари, сборники задач

17. Гильберт, Д. Основы теоретической логики / Д. Гильберт, В. Аккерман ; под ред., с предисл. и коммент. С.А. Яновской ; пер. с нем. – Изд. 2-е, испр. – М. : КомКнига, 2010. – С. 19–160.

18. Гудстейн, Р.Л. Математическая логика / Р.Л. Гудстейн ; под ред. и с предисл. С.А. Яновской ; пер. с англ. – Изд. 2-е. – М. : Книжный дом «ЛИБРОКОМ», 2010. – С. 24–65.

19. Зиновьев, А.А. Очерки комплексной логики / А.А. Зиновьев ; под ред. Е.А. Сидоренко. – М. : Эдиториал УРСС, 2000. – С. 178–206.

20. Ивин, А. А. Словарь по логике / А.А. Ивин, А.Л. Никифоров. – М. : Гуманит. изд. центр ВЛАДОС, 1997.

21. Клини, С.К. Введение в метаматематику / С.К. Клини ; под ред. В.А. Успенского ; пер.с англ. – Изд. 2-е, испр. – М. : Книжный дом «ЛИБРОКОМ», 2009. – С. 67–164.

22. Коэн, М. Введение в логику и научный метод / М. Коэн, Э. Нагель ; пер. с англ. П.С. Куслия. – Челябинск : Социум, 2010. – С. 339–438.

23. Сидоренко, Е.А. Релевантная логика (предпосылки, исчисление, семантика) / Е.А. Сидоренко. – М. : ИФ РАН, 2000.

24. Смирнова, Е.Д. Логика и философия / Е.Д. Смирнова. – М. : РОССПЭН, 1996.

25. Чёрч, А. Введение в математическую логику. Т. 1 / А. Чёрч ; под ред. и с предисл. В.А. Успенского ; пер. с англ. – Изд. 2-е. – М. : Книжный дом «ЛИБРОКОМ», 2009. – С. 208–283.