Математическая логика: Пер. англ./

Математическая логика: Пер. англ./

Библиографическая информация
Главный автор:	Клини, С. К. Стивен Коул (Автор)
Другие авторы:	Гастев, Ю. А. (Переводчик), Минц , Г. Е. (Переводчик)
Формат:	Книга
Публикация:	М.: М.: КомКнига УРСС 2007 2007
Редактирование:	3-е изд., стереотип.
Предметы:	математическая логика математика высказывания предикаты вычислимость разрешимость
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

Похожие документы

Математическая логика
по: Клини, Стивен Коул 1909-1994
Публикация: (2007)

Математическая логика
по: Клини, Стивен Коул 1909-1994
Публикация: (2005)

Математическая логика: Пер. с англ./
по: Клини, С. К. Стефан Коул
Публикация: (1973)

Математическая логика Курс лекций. Задачник-практикум и решения
по: Лихтарников, Леонид Моисеевич
Публикация: (1999)

Логика и множества
по: Локшин, Александр Александрович
Публикация: (2002)

Математическая логика
по: Клини, Стивен Коул 1909-1994
Публикация: (1973)

Решение логических и игровых задач (логико-психологические этюды)
по: Шапиро, Самуил Иосифович
Публикация: (1984)

Лекции по математической логике и теории алгоритмов
по: Верещагин, Николай Константинович 1958-
Публикация: (2000)

Математическая логика и теория алгоритмов учебное пособие : [для курса "Математическая логика и теория алгоритмов" направлений подготовки бакалавров "Информатика и вычислительная техника" и "Управление в технических системах"]
по: Зюзьков, Валентин Михайлович
Публикация: (2015)

Математическая логика [учебное пособие для студентов высших учебных заведений, обучающихся по направлениям и специальностям: "Математика", "Прикладная математика и информатика", "Механика"]
по: Ершов, Юрий Леонидович 1940-
Публикация: (2011)

Математическая логика Учебно-методическое пособие по курсу "Математическая логика"
Публикация: (2000)

Математическая логика и теория множеств (О соотношении абстрактного и конкретного)
по: Харин, Николай Никитич
Публикация: (1963)

Математическая логика учебное пособие
по: Ершов, Юрий Леонидович 1940-
Публикация: (2004)

Математическая логика и теория алгоритмов: Учебное методическое пособие/
по: Зюзьков, В. М. Валентин Михайлович
Публикация: (2004)

Математическая логика [учебник для техникумов по специальности "Прикладная математика"]
по: Никольская, Инна Львовна
Публикация: (1981)

Специфика временной локализованности / нелокализованности в русских высказываниях с семантикой поведения
по: Матханова, Ирина Петровна

Математическая логика Учебно-методическое пособие по курсу "Математическая логика"
Публикация: (2000)

Математическая логика: Учебное пособие для вузов/
по: Колмогоров Андрей Николаевич, et al.
Публикация: (2004)

Логика Учебное пособие для вузов
по: Бартон, Виталий Иванович
Публикация: (2001)

Логика учебное пособие
по: Бартон, Виталий Иванович
Публикация: (2008)

Математическая логика учебное пособие для вузов
по: Колмогоров, Андрей Николаевич, et al.
Публикация: (2004)

Логические отношения между условными высказываниями и трехзначная логика
по: Беликов, Александр Александрович

Что такое математическая логика?
по: Калужнин, Лев Аркадьевич
Публикация: (1964)

Einführung in die mathematische Logik
по: Tarski, Alfred
Публикация: (1977)

Логика: пособие для учащихся/
по: Ивин, А. А. Александр Архипович
Публикация: (1996)

Практическая логика
по: Светлов, Виктор Александрович 1945-
Публикация: (1995)

Математическая логика: Учебное пособие для вузов/
по: Ершов, Ю. Л. Юрий Леонидович, et al.
Публикация: (1979)

Математическая логика: Учебное пособие для вузов/
по: Ершов, Ю. Л. Юрий Леонидович, et al.
Публикация: (1987)

Математическая логика Каталог зарубежных книг Библиотеки Академии наук СССР
Публикация: (1974)

Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга
по: Петцольд, Чарльз
Публикация: (2016)

Логика [Учебник для вузов]
по: Ивин, Александр Архипович 1939-
Публикация: (2002)

Логика Учебник для гуманитарных факультетов
по: Ивин, Александр Архипович 1939-
Публикация: (2002)

Дискретная математика [учебное пособие для студентов вузов, обучающихся по направлению подготовки бакалавров и магистров 550400 - "Телекоммуникации"]
Публикация: (2008)

Проблемы функциональной грамматики
Публикация: (2017)

Основные понятия математики учебное пособие : [для студентов вузов, обучающихся по специальности 050708 "Педагогика и методика начального образования"]
по: Уртенов, Махамет Али Хусеевич
Публикация: (2009)

Введение в математическую логику
по: Мендельсон, Эллиот
Публикация: (1971)

Математическая логика в программировании: Сборник статей 1980-1988 гг.: Пер. с англ./
Публикация: (1991)

Логика Учеб. пособие для студ. гуманит. фак. вузов
по: Берков, Владимир Федотович, et al.
Публикация: (1994)

Математическая логика [Учебное пособие для математических специальностей педагогических институтов]
по: Столяр, Абрам Аронович
Публикация: (1991)

Логика как часть теории познания и научной методологии Фундаментальный курс: Учеб. пособие для студ. филос. фак. и преп. логики
по: Войшвилло, Евгений Казимирович 1913-2008
Публикация: (1994)