Ч. 1 : Теория моделей; Справочная книга по математической логике

Ч. 1 : Теория моделей; Справочная книга по математической логике

Библиографические подробности
Источник:	Справочная книга по математической логике: в 4-х частях/ под ред. Дж. Барвайса. Ч. 1 : Теория моделей.— , 1982-1983
Примечания:	Перевод изд.: Handbook of mathematical logic
Язык:	русский
Опубликовано:	1982
Предметы:	математика математическая логика модели однородные множества кривые поверхности анализ инфинитезимальный справочники
Формат:	Книга
Запись в KOHA:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=32707

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

Ч. 3 : Теория рекурсии; Справочная книга по математической логике
Опубликовано: (1982)

Ч. 4 : Теория доказательств и конструктивная математика; Справочная книга по математической логике
Опубликовано: (1983)

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

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров И. А. Игорь Андреевич
Опубликовано: (Москва, Наука, 1984)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров И. А. Игорь Андреевич
Опубликовано: (Москва, Физматлит, 2002)

Инфинитезимальный анализ; Ч. 1
по: Гордон Е. И. Евгений Израилевич
Опубликовано: (Новосибирск, Изд-во Ин-та математики СО РАН, 2001)

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

Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления
по: Верещагин Н. К
Опубликовано: (Москва, МЦНМО, 2000)

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

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

Теория моделей: пер. с англ.
по: Кейслер Г. Дж. Говард Джером
Опубликовано: (Москва, Мир, 1977)

О математической логике и философии математики. Начальные сведения об основаниях математики: пер. с англ.
по: Ивс Г.
Опубликовано: (Москва, Знание, 1968)

Ч. 1; Дискретная математика
Опубликовано: (2000)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров И. А. Игорь Андреевич
Опубликовано: (Наука, 1975)

Сборник задач по множествам, булевым функциям и математической логике учебное пособие
по: Дехтярь М. И.
Опубликовано: (Тверь, ТвГУ, 2020)

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

Исследования по теории алгорифмов и математической логике: сборник
Опубликовано: (Москва, Наука, 1979)

Вводный курс математической логики: учебное пособие
по: Успенский В. А. Владимир Андреевич
Опубликовано: (Москва, Изд-во МГУ, 1991)

Mathematik: Mit 524 Bildern und 414 Beispielen
по: Hilbert Alfred Von Dr
Опубликовано: (Leipzig, Fachbuchverlag, 1989)

Теория моделей и ее применения: сборник научных трудов
Опубликовано: (Новосибирск, Наука, 1988)

Основания теории множеств: пер. с англ.
по: Френкель А. А. Абрахам А.
Опубликовано: (Москва, Мир, 1966)

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие
Опубликовано: (СПб., Лань, 2008)

Дискретная математика: Математика для менеджера в примерах и упражнениях; учебное пособие
по: Москинова Г. И. Галина Ивановна
Опубликовано: (Москва, Логос, 2000)

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

Высшая математика: учебное пособие
по: Мочалин А. А. Алексей Алексеевич
Опубликовано: (Саратов, Изд-во Саратовского ГТУ, 2001)

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

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

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

II Всесоюзная конференция по прикладной логике (Новосибирск, 7-9 июня 1988 г.): тезисы докладов
Опубликовано: (Новосибирск, Изд-во Института математики, 1988)

Сборник задач по математической логике и теории алгоритмов Учебное пособие
по: Игошин В. И. Владимир Иванович
Опубликовано: (Москва, ООО "КУРС", 2019)

Расчет индуктивностей: справочная книга
по: Калантаров П. Л. Павел Лазаревич
Опубликовано: (Ленинград, Энергоатомиздат, 1986)

Фундаментальные основы дискретной математики: информационная математика
по: Горбатов В. А. Вячеслав Афанасьевич
Опубликовано: (Москва, Наука, 1999)

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

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

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

Т. 1: Общие разделы; Математика для бакалавров технических направлений
Опубликовано: (1999)

Вводный курс математической логики
по: Успенский В. А. Владимир Андреевич
Опубликовано: (Москва, Физматлит, 2007)

Исследования по математической лингвистике, математической логике и информационным языкам: сборник статей
Опубликовано: (Москва, Наука, 1972)

Теория не локально связных континуумов: учебное пособие
по: Одинцов А. А. Андрей Альбертович
Опубликовано: (Москва, Изд-во МГУ, 1991)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
по: Игошин В. И. Владимир Иванович
Опубликовано: (Москва, Академия, 2005)