 1.Булос, Джеффри. Вычилсимость и логика
2.Математическая теория логического вывода
3.Handbook Of Mathematical Logic (Elsevier, 1977)
4.Ершов, Палютин. Математическая логика
5.Ершов, Палютин. Математическая логика 2т
6.Успенский. Лекции о вычислимых функциях, 1960
7.Манин. Вычислимое и невычислимое
8.Непейвода. Прикладная логика
9.Черч. Введение в математическую логику
10.Logic and Integer Programming
11.Успенский, Семенов. Теория алгоритмов
12.Hedman. A First Course in Logic, 2004 (Oxford)
13.Роджерс. Теория рекурсивных функций и эффективная вычислимость
14.Гудстеин. Математическая логика
15.Мендельсон. Введение в математическую логику
16.Клини. Введение в метаматематику
17.Кондаков. Логический словарь-справочник, 1975
18.Мальцев. Алгоритмы и рекурсивные функции
19.Bradley, Manna. The Calculus of Computation, Springer, 2007
20.Клини. Математическая логика
21.Ершов. Теория нумераций
22.Odifreddi. Classical recursion theory, Elsevier, 1989
23.Манин. Доказуемое и недоказуемое
24.Эббинхауз и др. Машины Тьюринга и рекурсивные функции
25.Лавров, Максимова. Задачи...
27.Колмогоров, Драгилев. Введение в математическую логику
28.Подзоров. Булевы алгебры
29.Гильберт, Аккерман. Основы теоретической логики
30.Проблемы математической логики, сбор. перев.
31.Колмогоров, Драгилев. Математическая логика. Дополнительные главы
32.Гуц. Математическая логика и теория алгоритмов
33.Пентус. Введение в мат. логику. Конспект лекций (Мехмат МГУ, 1 курс)
34.Chaitin. Algorithmic information theory
35.Карри. Основания математической логики
36.Boolos et al. Computability and Logic, 5ed, CUP, 2007
37.Столл. Множества. Логика. Аксиоматические теории
38.Успенский. Теорема Геделя о неполноте
39.Griffor. Handbook of Computability Theory, 1999
40.Успенский. Теорема Геделя о неполноте -- Содержание
41.Бизам Д., Герцег Я. - Игра и логика. 85 логических задач - 1975(T)
42.Razv_logiki
43.Бизам Д., Герцег Я. - Игра и логика. 85 логических задач - 1975(T)
44.Logic and CS
45.Non-classic logics
46.Верещагин, Шень. Лекции по мат. логике и теории алгоритмов
47.Гильберт, Бернайс. Основания математики
48.Справочная книга по математической логике, ред. Барвайс
49.Теория множеств
50.парадоксы Ссылки/Download:
Скачать | Download c DepositFiles
Скачать | Download c Unibytes
| 
