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


 

База данных: Электрондық кітапхана

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

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

22.1
Р58

Робинсон, А.
    Введение в теорию моделей и мета-математику алгебры [Электронный ресурс] / А. Робинсон. - М. : [б. и.], 1967. - 376 с. - Б. ц.

ББК 22.1

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

   МАТЕМАТИКА


Кл.слова (ненормированные):
семантическая интерпретация -- модель -- теория моделей -- полнота -- определимость -- математическая теория

Робинсон, А. Введение в теорию моделей и мета-математику алгебры [Электронный ресурс] / А. Робинсон, 1967. - 376 с.

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

 

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