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

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

Dades bibliogràfiques
Autor principal:	Кейслер Г. Дж. Говард Джером
Altres autors:	Чэн Ч. Ч. Чень Чунь
Sumari:	Изложены общие методы построения моделей с помощью констант, цепей и ультрапроизведений. Каждая глава заканчивается упражнениями. В конце книги приводятсяисторические замечания и формулировки нерешенных проблем. Предназначена для математиков различных специальностей и может использоваться как учебное пособие студентами и аспирантами университетов и пединститутов.
Idioma:	rus
Publicat:	Москва, Мир, 1977
Matèries:	математика модели теория математическая логика построение упражнения
Format:	Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36867

Ítems similars

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Математическая логика и теория алгоритмов
Publicat: (Новосибирск, Изд-во ИМ СО РАН, 1993)

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

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

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

Математическая теория логического вывода: сборник переводов
Publicat: (Москва, Наука, 1967)

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

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

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

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

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

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