Приложение
для AndroidПолное описание
Карпенко, А. С. Логики Лукасевича и простые числа / А.С.Карпенко. - М. : Наука, 2000. - 319 с. - 300 экз. - ISBN 5-02-013048-6 : Б. ц. - Текст : непосредственный.
Парал. загл. англ. В надзаг.: Рос. АН, Ин-т философии. Библиогр.: с. 283-308. Имен. указ.: с. 309-313
| ГРНТИ | УДК | |
| 27.03.19 | 510.644 | |
| 27.15 | 511 | |
| 03.91 |
Рубрики:
Математическая логика
Числа простые
Кл.слова (ненормированные): математическая логика -- простое число
Имеются экземпляры в отделах: всего 2 : ХР (2)
Свободны: ХР (2)
Карпенко А.С. Логики Лукасевича и простые числа / А.С.Карпенко, 2000. - 319 с. - Текст : непосредственный.Логики Лукасевича и простые числа / А. С. Карпенко, 2007. - 255 с. - Текст : непосредственный.Логики Лукасевича и простые числа / А. С. Карпенко; отв. ред. В. К. Финн, 2009. - 255 с. - Текст : непосредственный.
Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Жуков А.И. Эффективные оценки мер алгебраической независимости значений Е-функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / А. И. Жуков, 1991. - 18 с. - Текст : непосредственный.Имамов Т.Т. Специализированная система аналитических преобразований для вариационных задач механики : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Т. Т. Имамов, 1991. - 17 с. - Текст : непосредственный.Романов С.Л. Закономерности структуры педогеохимических полей азота,фосфора и калия в ландшафтных системах Белоруссии : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / С. Л. Романов, 1991. - 20 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Захаров С.А. О числе решений диофантова уравнения ах х +bх х =N : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. А. Захаров, 1991. - 8 с. - Текст : непосредственный.Поляков И.В. Сложение простого и квадрата целого : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. В. Поляков, 1991. - 7 с. - Текст : непосредственный.Пиядина Ж.В. Аддитивные задачи с почти простыми числами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Ж. В. Пиядина, 1991. - 15 с. - Текст : непосредственный.Птичников А.В. Динамика опустынивания ландшафтов Приаралья за последние 15 лет (с использованием космических методов исследования) : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.11 / А. В. Птичников, 1991. - 27 с. - Текст : непосредственный.Гержой П.И. Арифметические семейства модулярных и якобиевых форм и их приложения к диофантовой геометрии : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / П. И. Гержой, 1991. - 14 с. - Текст : непосредственный.Домбровский И.Р. Диофантовы приближения элементами регулярных систем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Р. Домбровский, 1991. - 12 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Филатова Е.В. Формы аккумуляции тяжелых металлов в ландшафтно-геохимических условиях Восточно-Европейского сектора Субарктики : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. В. Филатова, 1992. - 16 с. - Текст : непосредственный.Алутин П.П. Обобщенная проблема Варинга с простыми числами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / П. П. Алутин, 1992. - 14 с. - Текст : непосредственный.Коробова Е.М. Медь,кобальт и йод в природных ландшафтах Нечерноземной зоны Русской равнины : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. М. Коробова, 1992. - 23 с. - Текст : непосредственный.Эминян К.М. О суммировании арифметических функций по позиционным последовательностям : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / К. М. Эминян, 1992. - 9 с. - Текст : непосредственный.
Показать все результатыSommerhalder R. A resolution method for some systems of MODAL LOGIC : Diss. / R.Sommerhalder, 1992. - 173 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M.Makkai, 1993. - X,106 p. p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Математическая логика и теория алгоритмов : Сб. / Отв. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 201 c. - Текст : непосредственный.Абаев Н.Б. Выявление скрытых законов логики и приложение их к строгим наукам / Н.Б.Абаев, 1993. - 164 c. - Текст : непосредственный.Ben-Shalom D. A path-based variable-free system for predicate logic / D.Ben-Shalom, 1994. - 12 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : Пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри, 1994. - 396 c. - Текст : непосредственный.Rijke M.de A Lindstrom theorem for modal logic / M.de Rijke, 1994. - 13 p. - Текст : непосредственный.Blackburn P. The algebra of modal logic / P.Blackburn,M.de Rijke,Y.Venema, 1994. - 61 p. - Текст : непосредственный.Мамий К.С. Основы современной математики (элементы логики, теории множеств и множества действительных чисел) : Учеб.пособие для студентов мат.фак.пединститутов и ун-тов / К.С.Мамий, 1994. - 143 c. - Текст : непосредственный.Алгебраические и логические конструкции : Сб.науч.тр. / Твер.гос.ун-т, 1994. - 105 c. - Текст : непосредственный.Кузнецов В.Н. Теоретическая информатика - I. Элементы теории множеств и математической логики : Учеб. пособие / В.Н.Кузнецов, 1994. - 103 c. - Текст : непосредственный.Таланов В.А. Математическая логика и модели вычислений : Учеб. пособие / В.А.Таланов, 1994. - 116 c. - Текст : непосредственный.Теоретические применения методов математической логики : Сб. работ. 1, 1975. - 180 с. - Текст : непосредственный.Snyder W. A proof theory for general unification / W.Snyder, 1991. - 175 175 p. - Текст : непосредственный.Rijke M.de Modal model theory / M.de Rijke, 1995. - 20 p. - Текст : непосредственный.Akkanen J. Absolute logics / J.Akkanen, 1995. - 83 -. -. - Текст : непосредственный.Blackburn P. Why combine logics? / P.Blackburn,M.de Rijke, 1995. - 18 p. - Текст : непосредственный.
Показать все результатыЖуков А.И. Эффективные оценки мер алгебраической независимости значений Е-функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / А. И. Жуков, 1991. - 18 с. - Текст : непосредственный.Захаров С.А. О числе решений диофантова уравнения ах х +bх х =N : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. А. Захаров, 1991. - 8 с. - Текст : непосредственный.Поляков И.В. Сложение простого и квадрата целого : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. В. Поляков, 1991. - 7 с. - Текст : непосредственный.Пиядина Ж.В. Аддитивные задачи с почти простыми числами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Ж. В. Пиядина, 1991. - 15 с. - Текст : непосредственный.Гержой П.И. Арифметические семейства модулярных и якобиевых форм и их приложения к диофантовой геометрии : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / П. И. Гержой, 1991. - 14 с. - Текст : непосредственный.Домбровский И.Р. Диофантовы приближения элементами регулярных систем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Р. Домбровский, 1991. - 12 с. - Текст : непосредственный.Алутин П.П. Обобщенная проблема Варинга с простыми числами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / П. П. Алутин, 1992. - 14 с. - Текст : непосредственный.Карелина И.Г. Некоторые дифференциальные неравенства на графах : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.02 / И. Г. Карелина, 1992. - 15 с. - Текст : непосредственный.Эминян К.М. О суммировании арифметических функций по позиционным последовательностям : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / К. М. Эминян, 1992. - 9 с. - Текст : непосредственный.Ванькова В.С. Многомерные теоретико-числовые сетки : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. С. Ванькова, 1992. - 16 с. - Текст : непосредственный.Зенкин А.А. Когнитивная компьютерная графика:применение в теории чисел : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.16 / А. А. Зенкин, 1992. - 31 с. - Текст : непосредственный.Фоменко О.М. Распределение представлений целых чисел квадратичными формами в поле рациональных чисел и в мнимых квадратичных полях : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / О. М. Фоменко, 1993. - 15 с. - Текст : непосредственный.Орловская Е.В. Минимум тета-функции трех переменных и решение проблемы Ранкина-Соболева в трехмерном пространстве : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Е. В. Орловская, 1993. - 10 с. - Текст : непосредственный.Зрейн А.А. Особые интегралы в аддитивных задачах варинговского типа : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / А. А. Зрейн, 1993. - 10 с. - Текст : непосредственный.Ходжаев Н.М. Мультипликативные свойства целых чисел на коротких интервалах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Н. М. Ходжаев, 1994. - 10 с. - Текст : непосредственный.Воскресенская Г.В. Модулярные формы с дивизором в параболических вершинах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / Г. В. Воскресенская, 1993. - 11 с. - Текст : непосредственный.Закзак А. Проблема делителей Дирихле в редких последовательностях : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / А. Закзак, 1993. - 7 с. - Текст : непосредственный.Проскурин Н.В. О кубических метаплектических формах на простых комплексных группах ранга 2 : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. В. Проскурин, 1993. - 13 с. - Текст : непосредственный.Орловская Е.В. Минимум тета-функции трех переменных и решение проблемы Ранкина-Соболева в трехмерном пространстве : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Е. В. Орловская, 1994. - 11 с. - Текст : непосредственный.Исмоилов Д. Аддитивные проблемы делителей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Д. Исмоилов, 1994. - 29 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽