Личный кабинет
83 записи
Судоплатов С. В., Овчинникова Е. В.
Математическая логика и теория алгоритмов : учебник / Судоплатов С. В., Овчинникова Е. В. ; Новосибирский государственный технический университет. - М. : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2008. - 223 с. - (Высшее образование). - Библиогр.:с. 212-214 . - ISBN 978-5-16-001975-8 . - ISBN 978-5-7782-0458-4 .
Математическая логика и теория алгоритмов : учебник / Судоплатов С. В., Овчинникова Е. В. ; Новосибирский государственный технический университет. - М. : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2008. - 223 с. - (Высшее образование). - Библиогр.:
3 экз.
Судоплатов С. В., Овчинникова Е. В.
Математическая логика и теория алгоритмов : [учебник] / Судоплатов С. В., Овчинникова Е. В. - 3-е изд. - Новосибирск : Изд-во НГТУ, 2012. - 255 с. - (Учебники НГТУ). - Библиогр.:с. 224-226 . - ISBN 978-5-7782-1838-3 .
Математическая логика и теория алгоритмов : [учебник] / Судоплатов С. В., Овчинникова Е. В. - 3-е изд. - Новосибирск : Изд-во НГТУ, 2012. - 255 с. - (Учебники НГТУ). - Библиогр.:
Читать онлайн
2 экз.
Теория моделей и алгебраическая геометрия. О доказательстве Э. Хрущовского гипотезы Морделла-Ленга : сб. ст. / ред. Бускаран Э. ; пер. с англ. Френкин Б. Р. ; ред. пер. Шехтман В. Б., Артамкин И. В. - М. : Изд-во МЦНМО, 2008. - 279 с. - Библиогр. в конце ст. - ISBN 987-5-94057-125-4 .
1 экз.
Тимофеева И. Л.
Математическая логика. Курс лекций : учебное пособие для вузов / Тимофеева И. Л. - 2-е изд., перераб. - М. : Университет, 2007. - 302 с. - Библиогр.:с. 294 . - ISBN 978-5-98227-307-9 .
Математическая логика. Курс лекций : учебное пособие для вузов / Тимофеева И. Л. - 2-е изд., перераб. - М. : Университет, 2007. - 302 с. - Библиогр.:
3 экз.
Титов А. В., Калинкин А. В.
Математическая логика. Нечеткие множества и формальные системы : метод. указания к решению типовых задач / Титов А. В., Калинкин А. В. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2008. - 29 с. : ил. - Библиогр.:с. 29 .
Математическая логика. Нечеткие множества и формальные системы : метод. указания к решению типовых задач / Титов А. В., Калинкин А. В. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2008. - 29 с. : ил. - Библиогр.:
267 экз.
Успенский В. А., Верещагин Н. К., Плиско В. Е.
Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - 2-е изд. - М. : Физматлит, 2002. - 125 с. - Библиогр.:с. 122 . - ISBN 5-9221-0278-8 .
Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - 2-е изд. - М. : Физматлит, 2002. - 125 с. - Библиогр.:
1 экз.
Успенский В. А., Верещагин Н. К., Плиско В. Е.
Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - М. : Физматлит, 2004. - 125 с. - Библиогр.:с. 122 . - ISBN 5-9221-0278-8 .
Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - М. : Физматлит, 2004. - 125 с. - Библиогр.:
51 экз.
Успенский В. А., Верещагин Н. К., Плиско В. Е.
Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - М. : Физматлит, 2007. - 125 с. - Библиогр.:с. 122 . - Авт. на обл. не указаны. - ISBN 978-5-9221-0278-0 .
Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - М. : Физматлит, 2007. - 125 с. - Библиогр.:
13 экз.
Финаев В. И., Финаева Е. В.
Математическя логика : учеб. пособие / Финаев В. И., Финаева Е. В. ; Таганрог. гос. радиотехнический ун-т. - Таганрог : Изд-во Таганрогского государственного радиотехнического университета, 2001. - 59 с. - Библиогр.:с. 59 .
Математическя логика : учеб. пособие / Финаев В. И., Финаева Е. В. ; Таганрог. гос. радиотехнический ун-т. - Таганрог : Изд-во Таганрогского государственного радиотехнического университета, 2001. - 59 с. - Библиогр.:
1 экз.
Хомич В. И.
Логика высказываний и исчисление высказываний : учеб. пособие по курсу "Математическая логика и теория алгоритмов" / Хомич В. И. ; ред. Крищенко А. П. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2004. - 41 с. - Библиогр.:с. 41 . - ISBN 5-7038-2528-8 .
Логика высказываний и исчисление высказываний : учеб. пособие по курсу "Математическая логика и теория алгоритмов" / Хомич В. И. ; ред. Крищенко А. П. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2004. - 41 с. - Библиогр.:
3 экз.
