КнигоПровод.Ru09.06.2025

/Наука и Техника/Математика

Математическая логика — Клини С. К.
Математическая логика
Клини С. К.
год издания — 1973, издательство — Мир
КНИГА СНЯТА С ПРОДАЖИ

Книги на ту же тему

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

© 1913—2013 КнигоПровод.Ruhttp://knigoprovod.com