Логика

1. Чёрч. Введение В математическую логику. 1960
2. Слупецкий Е.С., Борковский А. Элементы математической логики и теория множеств. 1965
3. Клини С. Математическая логика. 1973
4. Мендельсон Э. Введение в математическую логику. 1984
5. Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. 1982
6. Ершов Ю.А., Палютин Е.А. Математическая логика. 1987
7. Гудцейн Р.Л. Математическая логика 1967
8. Игошин В.И. Математическая логика и теория алгоритмов. 2008
9. Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов. 2008
10. Голдблатт Р. Топосы. Категорный анализ логики. 1983
11. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорий. 1983
12. Успенский В.А. Теорема Гёделя о неполноте. 1982
13. Айзерман М.А. Логика. Автоматы. Алгоритмы и др. 1963
14. Гиндикин С.Г. Алгебра логики в задачах. 1972
15. Лавров И.А. Максимова Л.Л. Задачи по теории множеств, математической логики и теории алгоритмов.  1975
16. Грэй П. Логика, алгебра и базы данных. 1989
17. Шапиро С.Н. Решение логических и игровых задач. 1984
18. Смальян Р. Теория формальных систем. 1981
19. Маслов С.Ю. Теория дедуктивных систем и её применения. 1986
20. Гейтинг А. Интуиционизм. 1965
21. Логика и онтология. Ред. А.М, Фединс. 1978
22. Хилтон А.М. Логика и цепи переключения. 1962
23. Фейс Р. Модальная логика. 1974
24. Слинин Я.А. Современная модальная логика. 1976
25. Ивлев Ю.В. Содержательная семантика модальной логики. 1985
26. Математическая теория логического вывода. 1967
27. Такеути Г. Теория доказательств. 1978
28. Левин В.И. Бесконечнозначная логика в задачах кибернетики. 1982
29. Кайберг Г. Вероятность и индуктивная логика. 1978
30. Методы логического анализа. Ред. Таванец П.В. 1977
31. Хинтикка Я. Логико- эпистиологические исследования. 1980
32. Белпан Н., Стил Т. Логика вопросов и ответов. 1981
33. Гинзбург С.А. Математическая непрерывная логика и изображение функций. 1968
34. Шимбирёв П.Н. Гибридные непрерывно- логические устройства. 1990
35. Формальная логика. 1977
36. Бочаров В.А., Маркин В.И. Основы логики 2007
37. Светлов В.А. Современная логика. 2006
38. Маслов Н.А. Логика. 2007
39. Зегет В. Элементарная логика. 1985
40. Кузина Е.Б. Логика 100 вопросов…100 ответов. 2004
41. Гетманова А.Д. Логика. Углубленный курс. 2008
42. Сборник упражнений по логике. Ред.  А.С. Клевченя. 1977
43. Ишмуратов А.Т. Логический анализ практических рассуждений. 1987
44. Светлов В.А. Логика. Экзаменационные ответы для студентов вузов. 2007
45. Сакс Дж. Теория насыщенных моделей. 1976
46. Бирюков Б.В. и Тростиников В.Н. Жар холодильник чисел и пафос бесстрастной логики 1977
47. Целищев В.В. Понятие объекта в модальной логике. 1978
48. Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы. 1984