Теория моделей: пер. с англ.

Теория моделей: пер. с англ.

Bibliographic Details
Main Author:	Кейслер Г. Дж. Говард Джером
Other Authors:	Чэн Ч. Ч. Чень Чунь
Summary:	Изложены общие методы построения моделей с помощью констант, цепей и ультрапроизведений. Каждая глава заканчивается упражнениями. В конце книги приводятсяисторические замечания и формулировки нерешенных проблем. Предназначена для математиков различных специальностей и может использоваться как учебное пособие студентами и аспирантами университетов и пединститутов.
Language:	Russian
Published:	Москва, Мир, 1977
Subjects:	математика модели теория математическая логика построение упражнения
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36867

Similar Items

Теория непрерывных моделей: пер. с англ.
by: Кейслер Г. Дж. Говард Джером
Published: (Москва, Мир, 1971)

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

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

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

Ламбда-исчисление. Его синтаксис и семантика: пер. с англ.
by: Барендрегт Х. П. Хендрик Питер
Published: (Москва, Мир, 1985)

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

Основания математической логики: пер. с англ.
by: Карри Х. Хаскелл
Published: (Москва, Мир, 1969)

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

Введение в конечную математику: пер. с англ.
by: Кемени Дж.
Published: (Москва, Изд-во иностранной литературы, 1963)

Основания математики. Теория доказательств: пер. с нем.
by: Гилберт Д. Давид
Published: (Москва, Наука, 1982)

Математический интуиционизм. Введение в теорию доказательств
by: Драгалин А. Г. Альберт Григорьевич
Published: (Москва, Наука, 1979)

Теория графов: алгебраическая теория учебник для вузов
by: Константинова Е. В. Елена Валентиновна
Published: (Москва, Юрайт, 2025)

Теория графов: алгебраическая теория учебное пособие для вузов
by: Константинова Е. В. Елена Валентиновна
Published: (Москва, Юрайт, 2024)

Математическая логика: пер. с англ.
by: Клини С. К. Стефан Коул
Published: (Москва, Мир, 1973)

Теория множеств: абсолютно неразрешимые классические проблемы учебник для вузов
by: Любецкий В. А. Василий Александрович
Published: (Москва, Юрайт, 2025)

Математическая логика
by: Гладкий А. В. Алексей Всеволодович
Published: (Москва, Изд-во Российского ГГУ, 1998)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
by: Любецкий В. А. Василий Александрович
Published: (Москва, Юрайт, 2021)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
by: Любецкий В. А. Василий Александрович
Published: (Москва, Юрайт, 2024)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
by: Любецкий В. А. Василий Александрович
Published: (Москва, Юрайт, 2022)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
by: Любецкий В. А. Василий Александрович
Published: (Москва, Юрайт, 2023)

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

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

Введение в конечную математику: пер. с англ.
by: Кемени Дж.
Published: (Москва, Мир, 1965)

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

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

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

Математика метаматематики: пер. с англ.
by: Расева Е. Елена
Published: (Москва, Наука, 1972)

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

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
by: Пак В. Г. Вадим Геннадьевич
Published: (Москва, Юрайт, 2023)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
by: Пак В. Г. Вадим Геннадьевич
Published: (Москва, Юрайт, 2022)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
by: Пак В. Г. Вадим Геннадьевич
Published: (Москва, Юрайт, 2025)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
by: Пак В. Г. Вадим Геннадьевич
Published: (Москва, Юрайт, 2021)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
by: Пак В. Г. Вадим Геннадьевич
Published: (Москва, Юрайт, 2024)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
by: Пак В. Г. Вадим Геннадьевич
Published: (Москва, Юрайт, 2025)

Введение в математическую логику: учебное пособие
by: Колмогоров А. Н. Андрей Николаевич
Published: (Москва, Изд-во Московского ун-та, 1982)

Популярная логика: общедоступный очерк логики предложений; пер. с пол.
by: Гжегорчик А. Анджей
Published: (Москва, Наука, 1979)

Основы кибернетики. Математические основы кибернетики: учебное пособие
Published: (Москва, Высшая школа, 1974)

Дискретная математика. Теория однородных структур учебник для вузов
by: Кудрявцев В. Б. Валерий Борисович
Published: (Москва, Юрайт, 2021)

Дискретная математика. Теория однородных структур учебник для вузов
by: Кудрявцев В. Б. Валерий Борисович
Published: (Москва, Юрайт, 2024)

Дискретная математика. Теория однородных структур учебник для вузов
by: Кудрявцев В. Б. Валерий Борисович
Published: (Москва, Юрайт, 2023)