Поиск :
Личный кабинет :
Электронный каталог: Т. 242: Математическая логика и алгебра.
Т. 242: Математическая логика и алгебра.
Доступно
1 из 1
1 из 1
Книга
Автор:
Математический институт им. В.А.Стеклова. Труды: Т. 242: Математическая логика и алгебра.
2003 г.
ISBN 5-02-032604-6
Автор:
Математический институт им. В.А.Стеклова. Труды: Т. 242: Математическая логика и алгебра.
2003 г.
ISBN 5-02-032604-6
Заказать 
На полку
Многотомник
Математический институт им. В.А.Стеклова. Труды . – М. : Наука, 1935 .
Книга
XV-1 М-34
Т. 242: Математическая логика и алгебра. / ред. С. И. Адян . – 2003 . – 207с. : ил. + Библиогр. в конце глав . - ISBN 5-02-032604-6 .
510.6 + 512](06)
Общий = Математика : алгебра
Общий = Математика : логика
662163 01:Книгохранение
Математический институт им. В.А.Стеклова. Труды . – М. : Наука, 1935 .
Книга
XV-1 М-34
Т. 242: Математическая логика и алгебра. / ред. С. И. Адян . – 2003 . – 207с. : ил. + Библиогр. в конце глав . - ISBN 5-02-032604-6 .
510.6 + 512](06)
Общий = Математика : алгебра
Общий = Математика : логика
662163 01:Книгохранение
Привязано к:
Связанные описания:
Книга (аналит. описание)
Plotkin, B.
Algebras with the Same (Algebraic) Geometry
б.г.
ISBN отсутствует
Plotkin, B.
Algebras with the Same (Algebraic) Geometry
б.г.
ISBN отсутствует
Книга (аналит. описание)
Kohlenbach, U.
Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics
б.г.
ISBN отсутствует
Kohlenbach, U.
Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics
б.г.
ISBN отсутствует
Книга (аналит. описание)
Baaz, M.
Note on a Translation to Characterize Constructivity
б.г.
ISBN отсутствует
Baaz, M.
Note on a Translation to Characterize Constructivity
б.г.
ISBN отсутствует
Книга (аналит. описание)
Яворский, Р. Э.
О пренексном фрагменте логики доказуемости с кванторами по доказательствам
б.г.
ISBN отсутствует
Яворский, Р. Э.
О пренексном фрагменте логики доказуемости с кванторами по доказательствам
б.г.
ISBN отсутствует
Книга (аналит. описание)
Чашкин, А. В.
О задании булевой функции по ее значениям в ограниченном числе областей
б.г.
ISBN отсутствует
Чашкин, А. В.
О задании булевой функции по ее значениям в ограниченном числе областей
б.г.
ISBN отсутствует
Книга (аналит. описание)
Матиясевич, Ю. В.
Диофантово представление чисел Бернулли и его приложения
б.г.
ISBN отсутствует
Матиясевич, Ю. В.
Диофантово представление чисел Бернулли и его приложения
б.г.
ISBN отсутствует
Книга (аналит. описание)
Верещагин, Н. К.
Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона и...
б.г.
ISBN отсутствует
Верещагин, Н. К.
Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона и...
б.г.
ISBN отсутствует
Книга (аналит. описание)
Беклемишев, Л. Д.
Бескванторная индукция и принцип наименьшего числа
б.г.
ISBN отсутствует
Беклемишев, Л. Д.
Бескванторная индукция и принцип наименьшего числа
б.г.
ISBN отсутствует
Книга (аналит. описание)
Артемов, С. Н.
Погружение модального ламбда-исчисления в логику доказательств
б.г.
ISBN отсутствует
Артемов, С. Н.
Погружение модального ламбда-исчисления в логику доказательств
б.г.
ISBN отсутствует
Книга (аналит. описание)
Алехнович, М. В.
Нижние оценки для полиномиального исчисления в случае идеалов, отличных от биномиальных
б.г.
ISBN отсутствует
Алехнович, М. В.
Нижние оценки для полиномиального исчисления в случае идеалов, отличных от биномиальных
б.г.
ISBN отсутствует
Книга (аналит. описание)
Адян, С. И.
О простых кватернионах, соотношениях Гурвица и новой операции расширения групп
б.г.
ISBN отсутствует
Адян, С. И.
О простых кватернионах, соотношениях Гурвица и новой операции расширения групп
б.г.
ISBN отсутствует