Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> С 1 - Математика
----> С 14 - Математическая логика
Печать списка
Нет экз.
--> С 1 - Математика
----> С 14 - Математическая логика
Рубрика
- Название:
- С 14 - Математическая логика
Печать списка
Связанные описания:
![](http://lib.jinr.ru:8080/opacUnicode/app/webroot/img//progress.gif)
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
Статья
Рыбаков, М.
Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных
б.г.
ISBN отсутствует
Рыбаков, М.
Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных
б.г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
Статья
Суровцев, В.А.
Б. Рассел, Г. Прист и принцип единого решения логико-семантических парадоксов
б.г.
ISBN отсутствует
Суровцев, В.А.
Б. Рассел, Г. Прист и принцип единого решения логико-семантических парадоксов
б.г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
Статья
Оноприенко, А.А.
Битопологические модели интуиционистской эпистемической логики
б.г.
ISBN отсутствует
Оноприенко, А.А.
Битопологические модели интуиционистской эпистемической логики
б.г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
Статья
Беклемишев, Л.Д.
Исчисление для схем рефлексии и спектры консервативности
б.г.
ISBN отсутствует
Беклемишев, Л.Д.
Исчисление для схем рефлексии и спектры консервативности
б.г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
![](/opacUnicode/app/webroot/img/doctypes/custom/dubna/12.gif)
Нет экз.
Препринты
Янев, Н.И.
Минимизация псевдобулевской функции максимума
ISBN отсутствует
Янев, Н.И.
Минимизация псевдобулевской функции максимума
Серия: ОИЯИ
ОИЯИ, 1979 г.ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
Статья
Плиско, В.Е.
Неарифметичность предикатной логики примитивно рекурсивной реализуемости
б.г.
ISBN отсутствует
Плиско, В.Е.
Неарифметичность предикатной логики примитивно рекурсивной реализуемости
б.г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
Статья
Оноприенко, А.А.
Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC
б.г.
ISBN отсутствует
Оноприенко, А.А.
Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC
б.г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
Статья
Запрягаев, А.А.
Об интерпретациях арифметики Пресбургера в арифметиках Бюхи
б.г.
ISBN отсутствует
Запрягаев, А.А.
Об интерпретациях арифметики Пресбургера в арифметиках Бюхи
б.г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
Статья
Колмаков, Е.А.
Об одном усилении теоремы о неизоморфизме алгебр доказуемости
б.г.
ISBN отсутствует
Колмаков, Е.А.
Об одном усилении теоремы о неизоморфизме алгебр доказуемости
б.г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
Статья
Сперанский, С.О.
Об отношении взаимной простоты с точки зрения монадической логики второго порядка
б.г.
ISBN отсутствует
Сперанский, С.О.
Об отношении взаимной простоты с точки зрения монадической логики второго порядка
б.г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
Статья
Очевидное - недоказуемое, или Почему теоремы Гёделя о неполноте волнуют не только математиков
б.г.
ISBN отсутствует
Очевидное - недоказуемое, или Почему теоремы Гёделя о неполноте волнуют не только математиков
б.г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
Статья
Оноприенко, А.А.
Предикатный вариант совместной логики задач и высказываний
б.г.
ISBN отсутствует
Оноприенко, А.А.
Предикатный вариант совместной логики задач и высказываний
б.г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
Статья
Миронов, В.В.
Применение алгебры логики в моделях технических систем: история и современность
б.г.
ISBN отсутствует
Миронов, В.В.
Применение алгебры логики в моделях технических систем: история и современность
б.г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/6.gif)
![](/opacUnicode/app/webroot/img/doctypes/6.gif)