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

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

Bibliografische gegevens
Parent link:	Справочная книга по математической логике: в 4-х частях/ под ред. Дж. Барвайса. Ч. 1 : Теория моделей.— , 1982-1983
Samenvatting:	Перевод изд.: Handbook of mathematical logic
Taal:	Russisch
Gepubliceerd in:	1982
Onderwerpen:	математика математическая логика модели однородные множества кривые поверхности анализ инфинитезимальный справочники
Formaat:	Boek
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=32707

Gelijkaardige items

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

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

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

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

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

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

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

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

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

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

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

Ч. 1; Дискретная математика
Gepubliceerd in: (2000)

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

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

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

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

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

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

Mathematik: Mit 524 Bildern und 414 Beispielen
door: Hilbert Alfred Von Dr
Gepubliceerd in: (Leipzig, Fachbuchverlag, 1989)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Основы дискретной математики: учебное пособие
door: Осипова В. А. Виктория Аркадьевна
Gepubliceerd in: (Москва, Форум, 2006)

Теория формальных языков: Вводный курс; пер. с англ.
door: Рейуорд-Смит В. Дж
Gepubliceerd in: (Москва, Радио и связь, 1988)