Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=модальная логика<.>)
Общее количество найденных документов : 4 Показаны документы с 1 по 4

1..4

В12
Р24

Расева, Елена.
Математика метаматематики [Текст] : нелитературный текст / Е.Расева ; Пер.с англ. - М. : Наука, 1972. - 591с. - (Математическая логика и основания математики). - 10.00 р.

ББК В12
Рубрики: логика
основания математики
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- булевы алгебры -- классическая логика -- множества -- позитивная логика -- модальная логика

Держатели документа:
ЯрГУ

Доп.точки доступа:
Сикорский, Роман ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

В12
Ф36

Фейс, Роберт.
Модальная логика [Текст] : нелитературный текст / Р.Фейс ; Пер.с англ. - М. : Наука, 1974. - 520с. - (Математическая логика и основания математики). - 10.00 р.

ББК В12
Рубрики: логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- модальная логика

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

87.4я73

Дорошин, И. А.
Логика [Текст] : конспект лекций / И. А. Дорошин. - М. : Высшее образование, 2007. - 210, [3] с. - (Хочу все сдать). - Библиогр.: с. 213. - ISBN 978-5-9692-0140-8 : 81,00 р.

ББК 87.4я73
Рубрики: 34.Философские науки.
Кл.слова (ненормированные):
Логика - Учебники -- Язык -- Познание - логическое -- Имена -- Суждения - Логический анализ -- Законы - формально-логические -- Закон тождества -- Закон непротиворечия -- Закон исключенного третьего -- Закон достаточного основания -- Умозаключения -- Модальная логика -- Доказательства -- Аргументация -- Опровержение -- Обоснование -- Споры
Аннотация: Учебное пособие поможет студентам вспомнить и систематизировать изученное для успешной сдачи экзамена по курсу "Логика".

Держатели документа:
ЯрЦБС
Свободных экз. нет
Найти похожие

В12
Г67

Горбунов, Игорь Анатольевич.
Модальные квазинормальные логики без независимой аксиоматизации [Текст] : дис. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.06 : защищена 22.12.06 : утв. 14.12.07 / И. А. Горбунов. - Тверь : [б. и.], 2006. - 81 с. - б/ц

ББК В12
Рубрики: Логика
Кл.слова (ненормированные):
диссертации В12 -- математическая логика -- модальная логика -- квазинормальные логики -- независимая аксиоматизация -- ЯрГУ

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ
Свободных экз. нет
Найти похожие

1..4