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

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

Détails bibliographiques
Auteur principal:	Клини С. К. Стефан Коул
Langue:	russe
Publié:	Москва, Мир, 1973
Sujets:	математика математическая логика предикаты вычислимость разрешимость
Format:	Livre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36700

Documents similaires

Математическая логика: пер. с англ.
par: Клини С. К. Стивен Коул
Publié: (Москва, Едиториал УРСС, 2005)

Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
par: Катленд Н. Найджел
Publié: (Москва, Мир, 1983)

Основания математики. Логические исчисления и формализация арифметики.
par: Гильберт Д. Давид
Publié: (Москва, Наука, 1979)

Основания математики. Логические исчисления и формализация арифметики.
par: Гильберт Д. Давид
Publié: (Москва, Наука, 1982)

Математическая логика: учебное пособие для вузов
par: Ершов Ю. Л. Юрий Леонидович
Publié: (Москва, Физматлит, 2011)

Математическая логика: учебное пособие
par: Ершов Ю. Л. Юрий Леонидович
Publié: (Москва, Наука, 1979)

Математическая логика: пер. с англ.
par: Гудстейн Р. Л.
Publié: (Москва, Изд-во иностранной литературы, 1961)

Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
par: Верещагин Н. К
Publié: (Москва, МЦНМО, 1999)

Дискретная математика для инженера
par: Кузнецов О. П.
Publié: (Санкт-Петербург, Лань, 2022)

Определимость и вычислимость
par: Ершов Ю. Л. Юрий Леонидович
Publié: (Москва, Экономика, 2000)

Конструктивные модели
par: Гончаров С. С. Сергей Савостьянович
Publié: (Новосибирск, Научная книга, 1999)

Введение в математическую логику: пер. с англ.
par: Мендельсон Э. Эллиот
Publié: (Москва, Наука, 1984)

Введение в математическую логику: пер. с англ.
par: Мендельсон Э. Эллиот
Publié: (Москва, Наука, 1976)

Введение в метаматематику: пер. с англ.
par: Клини С. К. Стефен К.
Publié: (Москва, Изд-во иностранной литературы, 1957)

Математическая логика и теория алгоритмов: учебное пособие
par: Гурова Л. М. Любовь Михайловна
Publié: (Москва, Изд-во МГГУ, 2006)

Математическая теория логического вывода: сборник переводов
Publié: (Москва, Наука, 1967)

Математическая логика: учебное пособие
par: Ершов Ю. Л. Юрий Леонидович
Publié: (СПб., Лань, 2004)

Математическая логика: курс лекций; учебное пособие
par: Тимофеева И. Л. Ирина Леонидовна
Publié: (Москва, Университет, 2007)

Математическая логика: учебник
par: Никольская И. Л. Инна Львовна
Publié: (Москва, Высшая школа, 1981)

Математическая логика: учебное пособие для вузов
par: Ершов Ю. Л. Юрий Леонидович
Publié: (СПб., Лань, 2005)

Математическая логика: учебное пособие
par: Ершов Ю. Л. Юрий Леонидович
Publié: (СПб., Лань, 2005)

Элементы математической логики
par: Новиков П. С. Петр Сергеевич
Publié: (Москва, Наука, 1973)

Симметрическая конструктивная логика
par: Заславский И. Д. Игорь Дмитриевич
Publié: (Ереван, Изд-во АН Армянской ССР, 1978)

Лекции по математической логике: учебное пособие
par: Мощенский В. А. Владимир Андреевич
Publié: (Минск, Изд-во Белорусского гос. ун-та, 1973)

Математическая логика. Задачник-практикум и решения: курс лекций; учебное пособие
par: Лихтарников Л. М. Леонид Моисеевич
Publié: (СПб., Лань, 2009)

Математическая логика: учебное пособие
par: Лавров И. А. Игорь Андреевич
Publié: (Москва, Академия, 2006)

Алгебра и логика: сборник научных трудов
Publié: (Новосибирск, Изд-во ИМ СО РАН, 1990)

Алгебра и логика: сборник научных трудов
Publié: (Новосибирск, Изд-во ИМ СО РАН, 1990)

Алгебра и логика: сборник научных трудов
Publié: (Новосибирск, Изд-во ИМ СО РАН, 1990)

Алгебра и логика: сборник научных трудов
Publié: (Новосибирск, 1989)

Математическая логика и теория алгоритмов: учебное пособие
par: Игошин В. И. Владимир Иванович
Publié: (Москва, Академия, 2008)

Множества. Логика. Аксиоматические теории: пер. с англ.
par: Столл Р. Р. Роберт Р.
Publié: (Москва, Просвещение, 1968)

Математическая логика учебно-методическое пособие по укрупненной группе специальностей и направлений подготовки 44.03.05 – педагогическое образование с двумя профилями подготовки (профили: «математика и физика», «математика и информатика»)
par: Друшляк А. И.
Publié: (Севастополь, СевГУ, 2024)

Алгебра и логика: сборник научных трудов
Publié: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)

Алгебра и логика: сборник научных трудов
Publié: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)

Ч. 3; Избранные главы высшей математики
par: Колобов А. М. Александр Михайлович
Publié: (1971)

Математическая логика: учебное пособие
par: Игошин В. И. Владимир Иванович
Publié: (Москва, Инфра-М, 2019)

Математическая логика: учебное пособие
par: Игошин В. И. Владимир Иванович
Publié: (Москва, Инфра-М, 2012)

Теория алгоритмов: учебник
par: Матрос Д. Ш. Дмитрий Шаевич
Publié: (Москва, БИНОМ. Лаборатория знаний, 2008)

Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
par: Лихтарников Л. М. Леонид Моисеевич
Publié: (СПб., Лань, 2008)