Choice of metadata Retro Books
Page 1, Results: 1
Report on unfulfilled requests: 0
1.
Подробнее
Н860
Нұрсұлтанова, Қ.
Математикалық логика бастамалары [Мәтін] : оқу құралы. Б.2. / Қ. Нұрсұлтанова. - Алматы. : РБК, 1995. - 173 б. - ISBN 5838004547 : 96т. 51т. тг., 0т. 00т. тг., [Б.ц.] тг.
ББК 22.12я73
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
предикаттар -- логика -- есептер -- формулалары -- аксиоматика -- теория -- формальдық система -- алгоритм
Аннотация: ГА
Экземпляры всего: 16
6.1-1 (1), 7-5 (3), 5.2-№6 оқу залы (12)
Свободны: 6.1-1 (1), 7-5 (3), 5.2-№6 оқу залы (12)
Н860
Нұрсұлтанова, Қ.
Математикалық логика бастамалары [Мәтін] : оқу құралы. Б.2. / Қ. Нұрсұлтанова. - Алматы. : РБК, 1995. - 173 б. - ISBN 5838004547 : 96т. 51т. тг., 0т. 00т. тг., [Б.ц.] тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
предикаттар -- логика -- есептер -- формулалары -- аксиоматика -- теория -- формальдық система -- алгоритм
Аннотация: ГА
Экземпляры всего: 16
6.1-1 (1), 7-5 (3), 5.2-№6 оқу залы (12)
Свободны: 6.1-1 (1), 7-5 (3), 5.2-№6 оқу залы (12)
Page 1, Results: 1