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

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

Detalhes bibliográficos
Autor principal:	Клини С. К. Стефан Коул
Publicado em:	Москва, Мир, 1973
Assuntos:	математика математическая логика предикаты вычислимость разрешимость
Formato:	Livro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36700

Registros relacionados

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ч. 3
por: Колобов А. М. Александр Михайлович
Publicado em: (1971)

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

Курс математической логики и теории вычислимости учебное пособие для вузов
por: Герасимов А. С. Александр Сергеевич
Publicado em: (Санкт-Петербург, Лань, 2014)

Дискретная математика учебник
por: Спирина М. С. Марина Савельевна
Publicado em: (Москва, Академия, 2007)

Дискретная математика учебник
por: Спирина М. С. Марина Савельевна
Publicado em: (Москва, Академия, 2006)

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

Математическая логика и теория алгоритмов для программистов учебное пособие
por: Гринченков Д. В. Дмитрий Валерьевич
Publicado em: (Москва, КноРус, 2010)

Математическая логика и теория алгоритмов учебник
por: Судоплатов С. В.
Publicado em: (Москва, Инфра-М, 2008)

Дискретная математика и математическая логика учебник
por: Аляев Ю. А. Юрий Александрович
Publicado em: (Москва, Финансы и статистика, 2006)

Вып. 11
Publicado em: (2002)