Личный кабинет
3733 записи
Институт математики и механики
Труды / Российская академия наук, Уральское отделение. - Екатеринбург : ИММ УрО РАН, 2011. -ISSN 0134-4889 .
Т. 17, № 3. - 2011. - 325 с. : ил. - Библиогр.в конце ст.
Труды / Российская академия наук, Уральское отделение. - Екатеринбург : ИММ УрО РАН, 2011. -
Т. 17, № 3. - 2011. - 325 с. : ил. - Библиогр.
1 экз.
Институт математики и механики
Труды / Российская академия наук, Уральское отделение. - Екатеринбург : ИММ УрО РАН, 2010. -ISSN 0134-4889 .
Т. 16, № 2. - 2010. - 299 с. : ил. - Библиогр.в конце ст.
Труды / Российская академия наук, Уральское отделение. - Екатеринбург : ИММ УрО РАН, 2010. -
Т. 16, № 2. - 2010. - 299 с. : ил. - Библиогр.
1 экз.
Тао Т.
Структура и случайность / Тао Т. ; пер. с англ. Цилевич Н. В. - 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 экз.
