Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=математическая логика<.>)
Общее количество найденных документов : 12
Показаны документы с 1 по 12
1.
Гирш Э.А. Сложность пропозициональной логики/Э. А. Гирш. - 2011
2.
Кузнецов С.Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека/С. Л. Кузнецов. - 2012
3.
Дашков Е.В. О пропозициональных исчислениях, представляющих понятие доказуемости/Е. В. Дашков. - 2012
4.
Сперанский С.О. Логика вероятности и вероятностная логика/С. О. Сперанский. - 2013
5.
Семенов П.П. Автоморфизмы, эндоморфизмы и элементарная эквивалентность полугрупп неотрицательных матриц/П. П. Семенов. - 2012
6.
Пузаренко В.Г. Натуральные числа и обобщенная вычислимость/В. Г. Пузаренко. - 2013
7.
Боков Г.В. Условия выразимости и полноты пропозициональных исчислений/Г. В. Боков. - 2013
8.
Снятков А.С. Разрешимость теорий иерархий согласованных со сложением функций/А. С. Снятков. - 2012
9.
Фролов А.Н. Счетные линейные порядки и их алгоритмическая сложность/А. Н. Фролов. - 2014
10.
Ройзнер М.А. Элементарная эквивалентность колец эндоморфизмов и групп автоморфизмов абелевых p-групп/М. А. Ройзнер. - 2014
11.
Сорокин А.А. Об отношении совместимости в исчислении Ламбека и в его варианте с операциями замещения/А. А. Сорокин. - 2014
12.
Баженов Н.А. Уровни автоустойчивости булевых алгебр/Н. А. Баженов. - 2014
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)