РАЗДЕЛ:
Алгебра и логика/
Логика/
Начало
Выше
Неклассические логики
Теория вычислимости
Логика и основания математики
Прикладная логика
Кузнецов В.А."Интуиционистская теория множеств", том 1, 456 с., том 2, 310 с., том 3, 177 с., том 4, 297 с., том 5, 423 с., том 6, 787 с.
Перейти
Раздел "Основания математики" интерактивной математической энциклопедии MathWorld
Перейти
Association for Symbolic Logic
Перейти
Homepage : Кузичев А.С. (Россия)
Перейти
Пыркин С. Г. Полное описание типов $m$-эквивалентности суператомных $I$-алгебр
Перейти
Stefan Bilaniuk "A Problem Course in Mathematical Logic"
Перейти
Homepage : Владимир Вьюгин (Великобритания)
Перейти
Logic Software from CSLI
Перейти
Ershov Yuri
Перейти
Mathematical Logic around the world
Перейти
Homepage : Эдуард Алексеевич Гирш (Россия)
Перейти
Review of Symbolic Logic
Перейти
Abstract Service for Mathematical Logic
Перейти
Notre Dame Journal of Formal Logic
Перейти
Mathematical Logic Quarterly
Перейти
Homepage : Николай Константинович Верещагин (Россия)
Перейти
Солон Б. Я. $e$-Иммунные множества
Перейти
Ершов Ю. Л. Хорошие локально-глобальные поля. IV
Перейти
Пинус А. Г., Мордвинов Я. Л. О независимости отношений эпиморфности и вложимости на многообразии всех решеток
Перейти
Homepage : Morozov A.S. (Russia)
Перейти
Otter: An Automated Deduction System
Перейти
Mathematical logic and foundations (из The Mathematical Athlas)
Перейти
Попов В. Ю. Критические теории многообразий полугрупп с перестановочным тождеством
Перейти
Власов Д. Ю. Строение алгебраических систем с полной теорией бесконечных подсистем
Перейти
Алаев П. Е. Гиперарифметические булевы алгебры с выделенным идеалом
Перейти
Journal of Logic and Computation
Перейти
Homepage : Сергей Савостьянович Гончаров (Россия)
Перейти
Латкин И. В. О конструктивизируемости тензорного произведения модулей
Перейти
Воробьев О.Ю. Энтропийные методы случайно-множественного статистического анализа
Перейти
Журков С. В., Пинус А. Г. Об автоморфизмах шкал потенциалов вычислимости n-элементных алгебр
Перейти
Кияткин В. Р. Правила вывода с метапеременными и логические уравнения в предтабличной модальной логике РМ1
Перейти
Морозов А. С. Y-множество натуральных чисел, не перечислимое с помощью натуральных чисел
Перейти
Судоплатов С. В. Об ациклических гиперграфах минимальных простых моделей
Перейти
Комбарро Э. Ф. Вычислимые решения уравнений над эндоморфизмами негативных нумераций
Перейти
Бузыкаева А. Н. Вычислимо жесткие модели с перечислимыми подмоделями
Перейти
Journal of Applied Logic
Перейти
Reports on Mathematical Logic
Перейти
History and Philosophy of Logic
Перейти
Journal of Philosophical Logic
Перейти
Homepage : Борис Иосифович Зильбер (Великобритания)
Перейти
Дегтев А. Н., Сакунова Е. С. О сводимостях частично рекурсивных функций
Перейти
Попов В. Ю. О разрешимости эквациональных теорий покрытий многообразий полугрупп
Перейти
Куприянова Л.В. Свойства разбиения системы подмножеств по системе N локальных максимумов с использованием псевдометрики, порожденной вероятностным распределением
Перейти
Алаев П. Е. Вычислимые семейства суператомных булевых алгебр
Перейти
Руцкий А. Н., Федоришин Б. Р. Критерий наследования допустимых правил вывода K4
Перейти
Попов В. Ю. О сложности проблемы равенства для конечно определенных коммутативных полугрупп
Перейти
Journal of Symbolic Logic
Перейти
Journal of Logic, Language and Information
Перейти
Homepage : Andrey Bovykin (Russia)
Перейти
Homepage : Юрий Матиясевич (Россия) - автор решения 10-й проблемы Гильберта
Перейти
Кудайбергенов К. Ж. Однородные модели и генерические расширения
Перейти
Белякин Н. В., Ганов В. А. Интенсиональность, рефлексия, большие кардиналы
Перейти
Бадаев С. А., Подзоров С. Ю. Минимальные накрытия в полурешетках Роджерса En0-вычислимых нумераций
Перейти
Homepage : Michael Zakharyaschev (United Kingdom)
Перейти
Литвинов Н. В. О типах сходства и рекурсивного изоморфизма частично рекурсивных функций
Перейти
Литвинов Н. В. О типах сходства и рекурсивного изоморфизма ограниченных частично рекурсивных функций
Перейти
Чирков И. В. Свойство малого индекса для алгебр
Перейти
Добрица В. П., Ях'яева Г. Э. О гомоморфизмах размытых групп
Перейти
Тишковский Д. Е. О свойстве Бета в расширениях логик Лукасевича
Перейти
Голованова Е. М. Критерий допустимости правил вывода для некоторого класса S4-логик, не обладающих свойством ветвления
Перейти
Корольков Ю. Д. Изоморфизм индексных множеств дискретных семейств общерекурсивных функций
Перейти
Урсу В. И. Рекурсивная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий многообразий
Перейти
Annals of Pure and Applied Logic
Перейти
Попов В. Ю. О связи проблемы равенства и разрешимости эквациональной теории
Перейти
Судоплатов С. В. Несущественные совмещения и раскраски моделей
Перейти
Рыбаков В. В., Римацкий В. В. Сохранение допустимости правил вывода в логиках, родственных S4.2
Перейти
Поляков Е. А. О типах сходства и рекурсивного изоморфизма частично рекурсивных функций
Перейти
Archive for Mathematical Logic
Перейти
Homepage : Natasha Alechina (United Kingdom)
Перейти
Морозов А. С. О проблеме конечной сигнатуры
Перейти
Морозов А. С., Бузыкаева А. Н. Об одной иерархии групп вычислимых автоморфизмов
Перейти
Bulletin of Symbolic Logic
Перейти
Homepage : Михаил Захарящев (Великобритания)
Перейти
Прохорова М. Ф. О существовании фактор-множеств по внешним отношениям эквивалентности в IST
Перейти
Романовский Н. С., Тимошенко Е. И. О некоторых элементарных свойствах 2-ступенно разрешимых групп
Перейти
Хисамиев А. Н. О верхней полурешетке Ершова L
E
Перейти
Лянце В. Э., Кудрик Т. С. Об околостандартности в гильбертовых пространствах
Перейти
Комбарро Э. Ф. Классификация подмножеств натуральных чисел при помощи вычислимых перестановок
Перейти
РАЗДЕЛ:
