Математическая теория логического вывода [Текст]

 

QR-код құжаттың

Бағалар: 0

517.11
М340


    Математическая теория логического вывода [Текст]. - М. : Наука, 1967. - 350 с. - 1р.79к. тг.

УДК
517.11

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   ТЕОРИЯ ЧИСЕЛ

Кл.слова (ненормированные):
математическая теория -- теория чисел -- семантические таблицы -- теорема Эрбрана
Экземпляры всего: 1
6-5 (1)
Свободны: 6-5 (1)