Ч. 1 : Теория моделей; Справочная книга по математической логике
| Parent link: | Справочная книга по математической логике: в 4-х частях/ под ред. Дж. Барвайса. Ч. 1 : Теория моделей.— , 1982-1983 |
|---|---|
| סיכום: | Перевод изд.: Handbook of mathematical logic |
| שפה: | רוסית |
| יצא לאור: |
1982
|
| נושאים: | |
| פורמט: | ספר |
| KOHA link: | 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)