База данных: Электрондық кітапхана
Беті 1, Нәтижелерін: 1
Отмеченные записи: 0
1.
![](http://e-lib.dulaty.kz/wp-content/plugins/skelib/skelib_public/template/images/book-cover-not.png)
Подробнее
22.12
Б24
Барвайс, Дж.
Справочная книга по математической логике [Электронный ресурс] : учебник / Дж. Барвайс. - М. : [б. и.], 1982. - 392 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
формализация логики -- теорема о полноте -- логика первого порядка -- теория компактности -- теорема Левенгейма-Скулема -- действительные числа -- теория множеств -- фильтры -- основная теорема -- логика высказываний -- атомная формула -- алгебраическая система -- принцип Лейбца -- дифференциалы
Б24
Барвайс, Дж.
Справочная книга по математической логике [Электронный ресурс] : учебник / Дж. Барвайс. - М. : [б. и.], 1982. - 392 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
формализация логики -- теорема о полноте -- логика первого порядка -- теория компактности -- теорема Левенгейма-Скулема -- действительные числа -- теория множеств -- фильтры -- основная теорема -- логика высказываний -- атомная формула -- алгебраическая система -- принцип Лейбца -- дифференциалы
Беті 1, Нәтижелерін: 1