Choice of metadata Retro Books
Page 4, Results: 33
Report on unfulfilled requests: 0
31.
Подробнее
М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)
32.
Подробнее
М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)
33.
Подробнее
Р355
Рейуорд-Смит, В. Дж.
Теория формальных языков [Текст] : вводный курс / Под ред. И.Г.Шестакова. - М. : Радио и связь, 1988. - 128 с. - ISBN 5-256-00159-0 : 0т. 00т. тг.
ББК 32.97
Рубрики: ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Кл.слова (ненормированные):
теория -- Великобритания -- математическая логика -- ЭВМ
Аннотация: КЖ
Экземпляры всего: 2
5.2-№6 оқу залы (2)
Свободны: 5.2-№6 оқу залы (2)
Р355
Рейуорд-Смит, В. Дж.
Теория формальных языков [Текст] : вводный курс / Под ред. И.Г.Шестакова. - М. : Радио и связь, 1988. - 128 с. - ISBN 5-256-00159-0 : 0т. 00т. тг.
Рубрики: ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Кл.слова (ненормированные):
теория -- Великобритания -- математическая логика -- ЭВМ
Аннотация: КЖ
Экземпляры всего: 2
5.2-№6 оқу залы (2)
Свободны: 5.2-№6 оқу залы (2)
Page 4, Results: 33