Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> С 1 - Математика
----> С 14 - Математическая логика
Печать списка
Нет экз.
--> С 1 - Математика
----> С 14 - Математическая логика
Рубрика
- Название:
- С 14 - Математическая логика
Печать списка
Связанные описания:
На полку
Статья
Рыбаков, М.
Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных
б.г.
ISBN отсутствует
Рыбаков, М.
Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных
б.г.
ISBN отсутствует
Статья
Суровцев, В.А.
Б. Рассел, Г. Прист и принцип единого решения логико-семантических парадоксов
б.г.
ISBN отсутствует
Суровцев, В.А.
Б. Рассел, Г. Прист и принцип единого решения логико-семантических парадоксов
б.г.
ISBN отсутствует
Статья
Оноприенко, А.А.
Битопологические модели интуиционистской эпистемической логики
б.г.
ISBN отсутствует
Оноприенко, А.А.
Битопологические модели интуиционистской эпистемической логики
б.г.
ISBN отсутствует
Статья
Беклемишев, Л.Д.
Исчисление для схем рефлексии и спектры консервативности
б.г.
ISBN отсутствует
Беклемишев, Л.Д.
Исчисление для схем рефлексии и спектры консервативности
б.г.
ISBN отсутствует
Нет экз.
Препринты
Янев, Н.И.
Минимизация псевдобулевской функции максимума
ISBN отсутствует
Янев, Н.И.
Минимизация псевдобулевской функции максимума
Серия: ОИЯИ
ОИЯИ, 1979 г.ISBN отсутствует
Статья
Плиско, В.Е.
Неарифметичность предикатной логики примитивно рекурсивной реализуемости
б.г.
ISBN отсутствует
Плиско, В.Е.
Неарифметичность предикатной логики примитивно рекурсивной реализуемости
б.г.
ISBN отсутствует
Статья
Оноприенко, А.А.
Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC
б.г.
ISBN отсутствует
Оноприенко, А.А.
Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC
б.г.
ISBN отсутствует
Статья
Запрягаев, А.А.
Об интерпретациях арифметики Пресбургера в арифметиках Бюхи
б.г.
ISBN отсутствует
Запрягаев, А.А.
Об интерпретациях арифметики Пресбургера в арифметиках Бюхи
б.г.
ISBN отсутствует
Статья
Колмаков, Е.А.
Об одном усилении теоремы о неизоморфизме алгебр доказуемости
б.г.
ISBN отсутствует
Колмаков, Е.А.
Об одном усилении теоремы о неизоморфизме алгебр доказуемости
б.г.
ISBN отсутствует
Статья
Сперанский, С.О.
Об отношении взаимной простоты с точки зрения монадической логики второго порядка
б.г.
ISBN отсутствует
Сперанский, С.О.
Об отношении взаимной простоты с точки зрения монадической логики второго порядка
б.г.
ISBN отсутствует
Статья
Очевидное - недоказуемое, или Почему теоремы Гёделя о неполноте волнуют не только математиков
б.г.
ISBN отсутствует
Очевидное - недоказуемое, или Почему теоремы Гёделя о неполноте волнуют не только математиков
б.г.
ISBN отсутствует
Статья
Слюсарев, В.В.
Почти достоверные модальные логики и законы нуля и единицы в хорновых классах
б.г.
ISBN отсутствует
Слюсарев, В.В.
Почти достоверные модальные логики и законы нуля и единицы в хорновых классах
б.г.
ISBN отсутствует
Статья
Оноприенко, А.А.
Предикатный вариант совместной логики задач и высказываний
б.г.
ISBN отсутствует
Оноприенко, А.А.
Предикатный вариант совместной логики задач и высказываний
б.г.
ISBN отсутствует
Статья
Миронов, В.В.
Применение алгебры логики в моделях технических систем: история и современность
б.г.
ISBN отсутствует
Миронов, В.В.
Применение алгебры логики в моделях технических систем: история и современность
б.г.
ISBN отсутствует