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

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

Bibliographische Detailangaben
1. Verfasser:	Мендельсон Э. Эллиот
Weitere Verfasser:	Адян С. И. (редактор)
Sprache:	Russisch
Veröffentlicht:	Москва, Наука, 1971
Schlagworte:	математическая логика теория множеств формальная логика арифметика исчисление
Format:	Buch
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=79187

Ähnliche Einträge

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

Введение в математическую логику: монография; пер. с англ.; Т. 1
von: Чёрч А.
Veröffentlicht: (Москва, Изд-во иностранной литературы, 1960)

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

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

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

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

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

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

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

Математическая логика и теория алгоритмов
von: Гурова Л. М.
Veröffentlicht: (Москва, Горная книга, 2006)

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

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

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

Теория доказательств: пер. с англ.
von: Такеути Г. Гаиси
Veröffentlicht: (Москва, Мир, 1978)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

№ 263 : Вопросы логики: [сборник статей]; Ученые записки [Ленинградского государственного университета]
Veröffentlicht: (1959)

Логика Д. Пуансо в контексте дихотомии "искусство-наука"; Вестник науки Сибири; № 3 (4)
von: Скрипник К. Д. Константин Дмитриевич
Veröffentlicht: (2012)

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

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

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

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

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

Ч. 2 : Теория множеств; Справочная книга по математической логике
Veröffentlicht: (1982)

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

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

Проблема взаимоотношений логики формальной и философской (неформальной и воображаемой Н. А. Васильева); Известия Томского политехнического университета [Известия ТПУ]; Т. 318, № 6 : Экономика. Философия, социология и культурология
von: Московченко А. Д. Александр Дмитриевич
Veröffentlicht: (2011)

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