|
Математическая логика |
Клини С. К. |
год издания — 1973, издательство — Мир |
|
|
|
|
|
Книги на ту же тему- Заметки по логике, Линдон Р., 1968
- Введение в математическую логику, Колмогоров А. Н., Драгалин А. Г., 1982
- Задачи по теории множеств, математической логике и теории алгоритмов, Лавров И. А., Максимова Л. Л., 1975
- Логический подход к искусственному интеллекту: от классической логики к логическому программированию, Тей А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф., 1990
- Логика. Экспресс-курс для подготовки к экзамену, Кузина Е. Б., 1997
- Формальная феноменология, Васюков В. Л., 1999
- Теорема Гёделя о неполноте, Успенский В. А., 1982
- Введение в теорию моделей и метаматематику алгебры, Робинсон А., 1967
- Математика и правдоподобные рассуждения. — 2-е изд., испр., Пойа Д., 1975
- Математическая лингвистика, Шаумян С. К., ред., 1973
- Характеризационная теория синтеза функциональных декомпозиций в k-значных логиках, Горбатов А. В., 2000
- Теория множеств и метод форсинга, Йех Т., 1973
- Основания теории множеств, Бар-Хиллел И., Френкель А. А., 1966
- Современная теория множеств: начала дескриптивной динамики, Кановей В. Г. , Любецкий В. А., 2007
- Логика и развитие научного знания, Бродский И. Н., Слинин Я. А., ред., 1992
- Логическая семантика и модальная логика, Таванец П. В., ред., 1967
- Теория алгоритмов: основные открытия и приложения, Успенский В. А., Семёнов А. Л., 1987
- Методы распознавания: Учебное пособие для вузов. — 3-е изд., перераб. и доп., Горелик А. Л., Скрипкин В. А., 1989
|
|
|