ВУЗ:
Составители:
Рубрика:
18 Дополнительный список литературы
(т. V, 456-458); Формальная система (т. V, 639, 640); Формальный язык (т. V,
636-638); Черча тезис (т. V, 855); Шеффера штрих (т. V, 894);
3. Кондаков И.И. Логический словарь–справочник. М.: Наука, 1976. 720 с. Cм. ста
тьи: Аксиомы арифметики (23, 24); Аксиомы исчисления высказываний (24); Ак
сиомы Пеано для натуральных чисел (24); Алгоритм (30-32); Вывод (101, 102);
Исчисление (220); Исчисление высказываний (221-227); Исчисление предикатов
(228-231); Квантификация предиката (242, 243); Кванторные правила (243); Кван
торы (243, 244); Лейбниц (278, 279); Математическая индукция (333); Математи
ческая логика (333, 341); Машины Тьюринга (345, 346); Modus ponendo tollens
(361); Modus ponens (361, 362); Modus tollendo ponens (362); Modus tollens (362);
Натурального вывода система (374, 375); Натуральное число (375, 376); Непро
тиворечивость (385); Общезначимая формула исчисления предикатов (399); Об
щезначимость (399); Омега-непротиворечивая теория (405); Основные законы ло
гики высказываний и предикатов (416); Парадокс (431-433); Пеано (436, 437);
Полная индукция (453, 454); Полнота системы аксиом (454); Правило подстанов
ки (470); Предикат (473); Пропозициональная форма (482); Пропозициональные
связки (483, 484); ”Principia Mathematica” (500, 501); Равенство (504); Свободная
переменная (524); Связанная переменная (524); Силлогизм (528-533); Символика
математической логики (534-540); Система аксиом Пеано (545); Система аксиом
Фреге (545, 546); Таблица истинности (584, 585); Тавтология (585-587); Теорема
(588, 589); Теорема дедукции (589); Формальная система (651); Формула (652,
653); Штрих Шеффера (672, 673).
4. Гейтинг А. Интуиционизм. Введение. М.: Мир, 1965. 200 с.
5. Гильберт Д. Основания геометрии. М.; Л.: Гостехтеоретиздат, 1948. 492 с.
6. Куратовский К., Мостовский А. Теория множеств. М.: Мир, 1970. 416 с.
7. Лакатос И. Доказательства и опровержения. М.: Наука, 1967. 152 с.
8. Манин Ю.И. Вычислимое и невычислимое. М.: Сов. радио, 1980. 128 с.
9. Мартин-Леф П. Очерки по конструктивной математике. М.: Мир, 1975. 136 с.
10. Математическая теория логического вывода: Сб. переводов. М.: Наука, 1967. 352 с.
11. Новиков П.С. Конструктивная математическая логика с точки зрения классиче
ской. М.: Наука, 1977. 328 с.
12. Редже Т. Этюды о вселенной. М.: Мир, 1985. 191 с. См. статью: Курт Гедель (С.
176-180).
13. Слупецкий Е., Борковский Л. Элементы математической логики и теория мно
жеств. М.: Прогресс, 1965. 368 с.
14. Смальян Р. Теория формальных систем. М.: Наука, 1981. 208 с.
15. Фейс Р. Модальная логика. М.: Наука, 1974. 520 с.
Ю.Н. Радаев
