Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Поисковый запрос:
(<.>K=динамическая логика<.>)
Общее количество найденных документов
:
1
1..1
1.
В12
Е80
Ершов, Юрий Леонидович
.
Определимость и вычислимость [Текст] : нелитературный текст / Ю. Л. Ершов. - Новосибирск : Научная книга, 1996. - 286 с. - (Сибирская школа алгебры и логики). -
ISBN
5-88119-007-7 : 50.00 р.
ББК
В12
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
определимость
--
вычислимость
--
теория допустимых множеств
--
динамическая
логика
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
1..1