Choice of metadata Electronic Library
Page 1, Results: 1
Report on unfulfilled requests: 0
1.
Подробнее
Г97
Гуц, А. К.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / А. К. Гуц. - Омск : Диалог -Сибирь, 2003. - 108 с. - Б. ц.
ББК 22,16
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
классическая логика -- формальные теории -- неклассические логики -- алгоритмы
Г97
Гуц, А. К.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / А. К. Гуц. - Омск : Диалог -Сибирь, 2003. - 108 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
классическая логика -- формальные теории -- неклассические логики -- алгоритмы
Page 1, Results: 1