Электрондық каталог


 

База данных: Ретро кітаптар

Беті 1, Нәтижелерін: 1

Отмеченные записи: 0

517.11
М340


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

УДК

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

   ТЕОРИЯ ЧИСЕЛ


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

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

1.

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


517.11
М340


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

УДК

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

   ТЕОРИЯ ЧИСЕЛ


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

Беті 1, Нәтижелерін: 1

 

Барлық түсімдер 
Немесе қызығушылық танытқан айыңызды таңдаңыз