Личный кабинет
3257 записей
Тао Т.
Структура и случайность / Тао Т. ; пер. с англ. Цилевич Н. В. - 2-е изд., стер. - Москва : Изд-во МЦНМО, 2017. - 359 с. - Библиогр.:с.335-352 . - ISBN 978-5-4439-0688-1 .
Структура и случайность / Тао Т. ; пер. с англ. Цилевич Н. В. - 2-е изд., стер. - Москва : Изд-во МЦНМО, 2017. - 359 с. - Библиогр.:
1 экз.
Институт математики и механики.
Труды / РАН, Уральское отделение. - Екатеринбург : ИММ УрО РАН, 2010. -ISSN 0134-4889 .
Т. 16, № 4. - 2010. - 317 с. : ил. - Библиогр.в конце ст.
Труды / РАН, Уральское отделение. - Екатеринбург : ИММ УрО РАН, 2010. -
Т. 16, № 4. - 2010. - 317 с. : ил. - Библиогр.
1 экз.
Институт математики и механики.
Труды / РАН, Уральское отделение. - Екатеринбург : ИММ УрО РАН, 2010. -ISSN 0134-4889 .
Т. 16, № 3. - 2010. - 287 с. : ил. - Библиогр.в конце ст.
Труды / РАН, Уральское отделение. - Екатеринбург : ИММ УрО РАН, 2010. -
Т. 16, № 3. - 2010. - 287 с. : ил. - Библиогр.
1 экз.
Институт математики и механики.
Труды / РАН, Уральское отделение. - Екатеринбург : ИММ УрО РАН, 2009. -ISSN 0134-4889 .
Т. 15, № 4. - 2009. - 303 с. : ил. - Библиогр.в конце ст.
Труды / РАН, Уральское отделение. - Екатеринбург : ИММ УрО РАН, 2009. -
Т. 15, № 4. - 2009. - 303 с. : ил. - Библиогр.
1 экз.
Математическая логика : учебное пособие педагогических институтов / Латотин Л. А., Макаренков Ю. А., Николаева В. В., Столяр А. А. ; общ. ред. Столяр А. А. - Минск : Вышэйшая школа, 1991. - 269 с. : ил. - Библиогр.: с.260 . - ISBN 5-339-00342-6 .
1 экз.
Игошин В. И.
Элементы математической логики : учебник для СПО / Игошин В. И. - 2-е изд., стер. - Москва : Академия, 2017. - 313 с. : ил. - (Профессиональное образование. Информатика и вычислительная техника). - Библиогр.:с.311-312 . - ISBN 978-5-4468-4664-1 .
Элементы математической логики : учебник для СПО / Игошин В. И. - 2-е изд., стер. - Москва : Академия, 2017. - 313 с. : ил. - (Профессиональное образование. Информатика и вычислительная техника). - Библиогр.:
1 экз.
Раца М. Ф.
Выразимость в исчислениях высказываний : монография / Раца М. Ф. ; Академия наук ССРМ, Институт математики с ВЦ ; ред. Тайманов А. Д. - Кишинёв : Штиинца, 1991. - 202 с. : ил. - Библиогр.:с.196-201 . - ISBN 5-376-00961-0 .
Выразимость в исчислениях высказываний : монография / Раца М. Ф. ; Академия наук ССРМ, Институт математики с ВЦ ; ред. Тайманов А. Д. - Кишинёв : Штиинца, 1991. - 202 с. : ил. - Библиогр.:
1 экз.
Колмогоров А. Н., Драгалин А. Г.
Математическая логика. Дополнительные главы : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 4-е изд., обновленное. - Москва : URSS : Едиториал УРСС, 2013. - 236 с. - (Классический университетский учебник). - Библиогр.:с.227-228 . - ISBN 978-5-354-01446-0 .
Математическая логика. Дополнительные главы : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 4-е изд., обновленное. - Москва : URSS : Едиториал УРСС, 2013. - 236 с. - (Классический университетский учебник). - Библиогр.:
1 экз.
Колмогоров А. Н., Драгалин А. Г.
Математическая логика. Введение в математическую логику : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 4-е изд., обновленное. - Москва : URSS : Едиториал УРСС, 2013. - 233 с. - (Классический университетский учебник). - Библиогр.:с.224 . - ISBN 978-5-354-01447-7 .
Математическая логика. Введение в математическую логику : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 4-е изд., обновленное. - Москва : URSS : Едиториал УРСС, 2013. - 233 с. - (Классический университетский учебник). - Библиогр.:
1 экз.
Вычислительные проблемы в задачах математической физики : сборник статей / РАН, СО ; отв. ред. Годунов С. К. - Новосибирск : Наука, 1992. - 176 с. - (Труды / Институт математики ; т. 22). - Библиогр. в конце статей . - ISBN 5-02-029922-7 .
1 экз.
