QR-код құжаттың
517.11
М340
Математическая теория логического вывода [Текст]. - М. : Наука, 1967. - 350 с. - 1р.79к. тг.
| УДК | 517.11 |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ЧИСЕЛ
Кл.слова (ненормированные):
математическая теория -- теория чисел -- семантические таблицы -- теорема Эрбрана
Экземпляры всего: 1
6-5 (1)
Свободны: 6-5 (1)