Choice of metadata Retro Books
Page 1, Results: 4
Report on unfulfilled requests: 0
1.
Подробнее
С720
Спивак, М.
Математический анализ на многообразиях [Текст] / М. Спивак. - М. : Мир., 1968. - 162 с. - 0р.60к.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
функции -- Евклиды -- пространства -- дифференцирование -- интегрирование -- цепи
Экземпляры всего: 3
6-3 (3)
Свободны: 6-3 (3)
С720
Спивак, М.
Математический анализ на многообразиях [Текст] / М. Спивак. - М. : Мир., 1968. - 162 с. - 0р.60к.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
функции -- Евклиды -- пространства -- дифференцирование -- интегрирование -- цепи
Экземпляры всего: 3
6-3 (3)
Свободны: 6-3 (3)
2.
Подробнее
У77
Успенский, В. А.
Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско. - М. : Физматлит, 2002. - 128 с. - ISBN 5922102788 : 1000т. 00т. тг.
ББК 22.12я7
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория множеств -- множества -- теорема Кантора -- логические операции -- интерпретации -- теория доказательств -- теорема Геделя -- алгоритмы
Экземпляры всего: 10
6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
Свободны: 6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
У77
Успенский, В. А.
Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско. - М. : Физматлит, 2002. - 128 с. - ISBN 5922102788 : 1000т. 00т. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория множеств -- множества -- теорема Кантора -- логические операции -- интерпретации -- теория доказательств -- теорема Геделя -- алгоритмы
Экземпляры всего: 10
6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
Свободны: 6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
3.
Подробнее
М501
Мендельсон, Э.
Введение в математиченскую логику [Текст] / Пер.с англ.Ф.А.Кабакова.Под ред.С.И.Адяна. - М. : Наука, 1984. - 320 с. - [Б.ц.] тг.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математика -- математическая логика -- арифметика -- аксиоматическая теория -- доказательства
Аннотация: ГИВ
Экземпляры всего: 15
5.2-№6 оқу залы (14), 8-3.3 (1)
Свободны: 5.2-№6 оқу залы (14), 8-3.3 (1)
М501
Мендельсон, Э.
Введение в математиченскую логику [Текст] / Пер.с англ.Ф.А.Кабакова.Под ред.С.И.Адяна. - М. : Наука, 1984. - 320 с. - [Б.ц.] тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математика -- математическая логика -- арифметика -- аксиоматическая теория -- доказательства
Аннотация: ГИВ
Экземпляры всего: 15
5.2-№6 оқу залы (14), 8-3.3 (1)
Свободны: 5.2-№6 оқу залы (14), 8-3.3 (1)
4.
Подробнее
М501
Мендельсон, Э.
Введение в математиченскую логику [Текст] / Пер.с англ.Ф.А.Кабакова.Под ред.С.И.Адяна. - М. : Наука, 1976. - 320 с. - [Б.ц.] тг.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математика -- математическая логика -- арифметика -- аксиоматическая теория -- доказательства
Аннотация: ГИВ
Экземпляры всего: 2
5.2-№6 оқу залы (2)
Свободны: 5.2-№6 оқу залы (2)
М501
Мендельсон, Э.
Введение в математиченскую логику [Текст] / Пер.с англ.Ф.А.Кабакова.Под ред.С.И.Адяна. - М. : Наука, 1976. - 320 с. - [Б.ц.] тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математика -- математическая логика -- арифметика -- аксиоматическая теория -- доказательства
Аннотация: ГИВ
Экземпляры всего: 2
5.2-№6 оқу залы (2)
Свободны: 5.2-№6 оқу залы (2)
Page 1, Results: 4