Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=булевы алгебры<.>)
Общее количество найденных документов
:
4
Показаны документы
с 1 по 4
1..4
1.
В12
С81
Столл, Роберт Р.
Множества.Логика.Аксиоматические теории [Текст] : нелитературный текст / Роберт Р.Столл ; Под ред.Ю.А.Шихановича.Пер.с англ. - М. : Просвещение, 1968. - 231с. - (Математическое просвещение). - 5.00 р.
ББК
В12
Рубрики:
основания математики
логика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
множества
--
аксиоматические теории
--
булевы
алгебры
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
2.
В12
Ш47
Шенфилд, Джозеф
.
Степени неразрешимости [Текст] : нелитературный текст / Д.Шенфилд ; Пер.с англ. - М. : Наука, 1977. - 192с. - (Математическая логика и основания математики). - 10.00 р.
ББК
В12
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
множества
--
рекурсивно перечислимые множества
--
булевы
алгебры
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
3.
В12
Р24
Расева, Елена
.
Математика метаматематики [Текст] : нелитературный текст / Е.Расева ; Пер.с англ. - М. : Наука, 1972. - 591с. - (Математическая логика и основания математики). - 10.00 р.
ББК
В12
Рубрики:
логика
основания математики
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
булевы
алгебры
--
классическая логика
--
множества
--
позитивная логика
--
модальная логика
Держатели документа:
ЯрГУ
Доп.точки доступа:
Сикорский, Роман ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
4.
В12я54
В74
Ершов, Ю. Л.
Вопросы
алгебры
и логики [Текст] : нелитературный текст / Отв. ред. Ю. Л. Ершов, В. Д. Мазуров ; РАН, Сиб. отд-ние. - Новосибирск : Изд-во ИМ СО РАН, 1996. - 191 с. - (Труды Ин-та математики. Т. 30). -
ISBN
5-86134-019-6 : 5.00 р.
ББК
В12я54
Рубрики:
вычислительная логика
алгебра
Кл.слова (ненормированные):
б-ка Русина
--
булевы
алгебры
--
конечные группы
--
дискриминантные многообразия
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
1..4