Введение в математическую логику пер. с англ.

Введение в математическую логику, пер. с англ.

Detalhes bibliográficos
Autor principal:	Мендельсон Э. Эллиот
Outros Autores:	Адян С. И. (340)
Idioma:	russo
Publicado em:	Москва, Наука, 1971
Assuntos:	математическая логика теория множеств формальная логика арифметика исчисление
Formato:	Livro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=79187

Registos relacionados

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

Введение в математическую логику монография пер. с англ.
Por: Чёрч А.
Publicado em: (Москва, Изд-во иностранной литературы, 1960)

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

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

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

Введение в математическую логику
Por: Зюзьков В. М.
Publicado em: (Санкт-Петербург, Лань, 2022)

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

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

Математическая логика и теория алгоритмов
Por: Гурова Л. М.
Publicado em: (Москва, Горная книга, 2006)

Язык логики пер. с англ.
Por: Фрейденталь Х. Ханс
Publicado em: (Москва, Наука, 1969)

Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
Por: Бирюков Б. В. Борис Владимирович
Publicado em: (Москва, Едиториал УРСС, 2004)

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

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

Дискретная математика и информатика
Por: Рыбин С. В.
Publicado em: (Санкт-Петербург, Лань, 2022)

Математическая логика и теория алгоритмов учебное пособие для вузов
Por: Рыбин С. В.
Publicado em: (Санкт-Петербург, Лань, 2024)

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
Por: Бабичева И. В.
Publicado em: (Санкт-Петербург, Лань, 2024)

Математическая логика и теория алгоритмов учебное пособие
Por: Крупский В. Н. Владимир Николаевич
Publicado em: (Москва, Академия, 2013)

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

Математический анализ: введение учебно-методическое пособие
Publicado em: (Улан-Удэ, БГУ, 2019)

Введение в дискретную математику и логику учебное пособие
Por: Червенчук В. Д.
Publicado em: (Омск, Омский ГАУ, 2011)

Элементы теории множеств и математической логики учебное пособие
Por: Дурнев В. Г. Валерий Георгиевич
Publicado em: (Ярославль, Изд-во Ярославского ГУ, 1978)

Теория доказательств пер. с англ.
Por: Такеути Г. Гаиси
Publicado em: (Москва, Мир, 1978)

Дискретная математика учебник
Por: Поздняков С. Н. Сергей Николаевич
Publicado em: (Москва, Академия, 2008)

Формы логики
Publicado em: (Пекин, Народное изд-во, 2005)

Логика Д. Пуансо в контексте дихотомии "искусство-наука"
Por: Скрипник К. Д. Константин Дмитриевич
Publicado em: (2012)

№ 263 : Вопросы логики [сборник статей]
Publicado em: (1959)

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

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

Дискретная математика учебное пособие для вузов
Por: Ганичева А. В.
Publicado em: (Санкт-Петербург, Лань, 2024)

Генценовские системы для исчисления высказываний и аксиоматической арифметики учебное пособие
Por: Кипнис М. М. Михаил Маркович
Publicado em: (Челябинск, Изд-во ЧПИ, 1985)

Категориальный синтез логического знания
Por: Береговой И. И. Иван Иосифович
Publicado em: (Львов, Свит, 1990)

Избранные труды Теория множеств. Математическая логика и алгебра
Por: Новиков П. С. Петр Сергеевич
Publicado em: (Москва, Наука, 1979)

Теория множеств и континуум-гипотеза
Por: Коэн П. Д. Пол Дж.
Publicado em: (Москва, Мир, 1969)

Ч. 2 : Теория множеств
Publicado em: (1982)

Топосы. Категорный анализ логики пер. с англ.
Por: Голдблатт Р.
Publicado em: (Москва, Мир, 1983)

Введение в дискретную математику учебное пособие
Por: Кочетков П. А. Павел Анатольевич
Publicado em: (Москва, Изд-во МГИУ, 2007)

Введение в алгебру и математический анализ учебное пособие для вузов
Por: Павлов Е. А.
Publicado em: (Санкт-Петербург, Лань, 2024)

Проблема взаимоотношений логики формальной и философской (неформальной и воображаемой Н. А. Васильева)
Por: Московченко А. Д. Александр Дмитриевич
Publicado em: (2011)

Задачи по теории множеств, математической логике и теории алгоритмов
Por: Лавров И. А. Игорь Андреевич
Publicado em: (Москва, Физматлит, 2006)

Введение в дискретную математику учебное пособие
Por: Кочетков П. А. Павел Анатольевич
Publicado em: (Москва, Изд-во МГИУ, 2008)