Ч. 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)
Опубликовано: (1982)
Ч. 4 : Теория доказательств и конструктивная математика; Справочная книга по математической логике
Опубликовано: (1983)
Опубликовано: (1983)
Ч. 2 : Теория множеств; Справочная книга по математической логике
Опубликовано: (1982)
Опубликовано: (1982)
Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров И. А. Игорь Андреевич
Опубликовано: (Москва, Наука, 1984)
по: Лавров И. А. Игорь Андреевич
Опубликовано: (Москва, Наука, 1984)
Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров И. А. Игорь Андреевич
Опубликовано: (Москва, Физматлит, 2002)
по: Лавров И. А. Игорь Андреевич
Опубликовано: (Москва, Физматлит, 2002)
Инфинитезимальный анализ; Ч. 1
по: Гордон Е. И. Евгений Израилевич
Опубликовано: (Новосибирск, Изд-во Ин-та математики СО РАН, 2001)
по: Гордон Е. И. Евгений Израилевич
Опубликовано: (Новосибирск, Изд-во Ин-та математики СО РАН, 2001)
Лекции по математической логике: учебное пособие
по: Мощенский В. А. Владимир Андреевич
Опубликовано: (Минск, Изд-во Белорусского гос. ун-та, 1973)
по: Мощенский В. А. Владимир Андреевич
Опубликовано: (Минск, Изд-во Белорусского гос. ун-та, 1973)
Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления
по: Верещагин Н. К
Опубликовано: (Москва, МЦНМО, 2000)
по: Верещагин Н. К
Опубликовано: (Москва, МЦНМО, 2000)
Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров И. А. Игорь Андреевич
Опубликовано: (Москва, Физматлит, 2006)
по: Лавров И. А. Игорь Андреевич
Опубликовано: (Москва, Физматлит, 2006)
Конструктивные модели
по: Гончаров С. С. Сергей Савостьянович
Опубликовано: (Новосибирск, Научная книга, 1999)
по: Гончаров С. С. Сергей Савостьянович
Опубликовано: (Новосибирск, Научная книга, 1999)
Теория моделей: пер. с англ.
по: Кейслер Г. Дж. Говард Джером
Опубликовано: (Москва, Мир, 1977)
по: Кейслер Г. Дж. Говард Джером
Опубликовано: (Москва, Мир, 1977)
О математической логике и философии математики. Начальные сведения об основаниях математики: пер. с англ.
по: Ивс Г.
Опубликовано: (Москва, Знание, 1968)
по: Ивс Г.
Опубликовано: (Москва, Знание, 1968)
Ч. 1; Дискретная математика
Опубликовано: (2000)
Опубликовано: (2000)
Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров И. А. Игорь Андреевич
Опубликовано: (Наука, 1975)
по: Лавров И. А. Игорь Андреевич
Опубликовано: (Наука, 1975)
Сборник задач по множествам, булевым функциям и математической логике учебное пособие
по: Дехтярь М. И.
Опубликовано: (Тверь, ТвГУ, 2020)
по: Дехтярь М. И.
Опубликовано: (Тверь, ТвГУ, 2020)
Математическая логика: учебное пособие
по: Ершов Ю. Л. Юрий Леонидович
Опубликовано: (Москва, Наука, 1979)
по: Ершов Ю. Л. Юрий Леонидович
Опубликовано: (Москва, Наука, 1979)
Исследования по теории алгорифмов и математической логике: сборник
Опубликовано: (Москва, Наука, 1979)
Опубликовано: (Москва, Наука, 1979)
Вводный курс математической логики: учебное пособие
по: Успенский В. А. Владимир Андреевич
Опубликовано: (Москва, Изд-во МГУ, 1991)
по: Успенский В. А. Владимир Андреевич
Опубликовано: (Москва, Изд-во МГУ, 1991)
Mathematik: Mit 524 Bildern und 414 Beispielen
по: Hilbert Alfred Von Dr
Опубликовано: (Leipzig, Fachbuchverlag, 1989)
по: Hilbert Alfred Von Dr
Опубликовано: (Leipzig, Fachbuchverlag, 1989)
Теория моделей и ее применения: сборник научных трудов
Опубликовано: (Новосибирск, Наука, 1988)
Опубликовано: (Новосибирск, Наука, 1988)
Основания теории множеств: пер. с англ.
по: Френкель А. А. Абрахам А.
Опубликовано: (Москва, Мир, 1966)
по: Френкель А. А. Абрахам А.
Опубликовано: (Москва, Мир, 1966)
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие
Опубликовано: (СПб., Лань, 2008)
Опубликовано: (СПб., Лань, 2008)
Дискретная математика: Математика для менеджера в примерах и упражнениях; учебное пособие
по: Москинова Г. И. Галина Ивановна
Опубликовано: (Москва, Логос, 2000)
по: Москинова Г. И. Галина Ивановна
Опубликовано: (Москва, Логос, 2000)
Введение в математическую логику: пер. с англ.
по: Мендельсон Э. Эллиот
Опубликовано: (Москва, Наука, 1984)
по: Мендельсон Э. Эллиот
Опубликовано: (Москва, Наука, 1984)
Высшая математика: учебное пособие
по: Мочалин А. А. Алексей Алексеевич
Опубликовано: (Саратов, Изд-во Саратовского ГТУ, 2001)
по: Мочалин А. А. Алексей Алексеевич
Опубликовано: (Саратов, Изд-во Саратовского ГТУ, 2001)
Алгебра и логика: сборник научных трудов
Опубликовано: (Новосибирск, Изд-во ИМ СО РАН, 1991)
Опубликовано: (Новосибирск, Изд-во ИМ СО РАН, 1991)
Алгебра и логика: сборник научных трудов
Опубликовано: (Новосибирск, Изд-во ИМ СО РАН, 1991)
Опубликовано: (Новосибирск, Изд-во ИМ СО РАН, 1991)
Алгебра и логика: сборник научных трудов
Опубликовано: (Новосибирск, Ин-т математики СО АН СССР, 1991)
Опубликовано: (Новосибирск, Ин-т математики СО АН СССР, 1991)
II Всесоюзная конференция по прикладной логике (Новосибирск, 7-9 июня 1988 г.): тезисы докладов
Опубликовано: (Новосибирск, Изд-во Института математики, 1988)
Опубликовано: (Новосибирск, Изд-во Института математики, 1988)
Сборник задач по математической логике и теории алгоритмов Учебное пособие
по: Игошин В. И. Владимир Иванович
Опубликовано: (Москва, ООО "КУРС", 2019)
по: Игошин В. И. Владимир Иванович
Опубликовано: (Москва, ООО "КУРС", 2019)
Расчет индуктивностей: справочная книга
по: Калантаров П. Л. Павел Лазаревич
Опубликовано: (Ленинград, Энергоатомиздат, 1986)
по: Калантаров П. Л. Павел Лазаревич
Опубликовано: (Ленинград, Энергоатомиздат, 1986)
Фундаментальные основы дискретной математики: информационная математика
по: Горбатов В. А. Вячеслав Афанасьевич
Опубликовано: (Москва, Наука, 1999)
по: Горбатов В. А. Вячеслав Афанасьевич
Опубликовано: (Москва, Наука, 1999)
Дискретная математика: учебник
по: Спирина М. С. Марина Савельевна
Опубликовано: (Москва, Академия, 2006)
по: Спирина М. С. Марина Савельевна
Опубликовано: (Москва, Академия, 2006)
Дискретная математика: учебник
по: Спирина М. С. Марина Савельевна
Опубликовано: (Москва, Академия, 2007)
по: Спирина М. С. Марина Савельевна
Опубликовано: (Москва, Академия, 2007)
Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
по: Верещагин Н. К
Опубликовано: (Москва, МЦНМО, 1999)
по: Верещагин Н. К
Опубликовано: (Москва, МЦНМО, 1999)
Т. 1: Общие разделы; Математика для бакалавров технических направлений
Опубликовано: (1999)
Опубликовано: (1999)
Вводный курс математической логики
по: Успенский В. А. Владимир Андреевич
Опубликовано: (Москва, Физматлит, 2007)
по: Успенский В. А. Владимир Андреевич
Опубликовано: (Москва, Физматлит, 2007)
Исследования по математической лингвистике, математической логике и информационным языкам: сборник статей
Опубликовано: (Москва, Наука, 1972)
Опубликовано: (Москва, Наука, 1972)
Теория не локально связных континуумов: учебное пособие
по: Одинцов А. А. Андрей Альбертович
Опубликовано: (Москва, Изд-во МГУ, 1991)
по: Одинцов А. А. Андрей Альбертович
Опубликовано: (Москва, Изд-во МГУ, 1991)
Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
по: Игошин В. И. Владимир Иванович
Опубликовано: (Москва, Академия, 2005)
по: Игошин В. И. Владимир Иванович
Опубликовано: (Москва, Академия, 2005)
Схожие документы
-
Ч. 3 : Теория рекурсии; Справочная книга по математической логике
Опубликовано: (1982) -
Ч. 4 : Теория доказательств и конструктивная математика; Справочная книга по математической логике
Опубликовано: (1983) -
Ч. 2 : Теория множеств; Справочная книга по математической логике
Опубликовано: (1982) -
Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров И. А. Игорь Андреевич
Опубликовано: (Москва, Наука, 1984) -
Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров И. А. Игорь Андреевич
Опубликовано: (Москва, Физматлит, 2002)