EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 22 Next

Displaying 421 – 440 of 1185

Нестандартные расширения равномерных алгебраических систем.

В.А. Молчанов (1994)

Sibirskij matematiceskij zurnal

Нестандартный анализ и аксиома детерминированности

Н.В. Белякин, N.V. Beljakin (1993)

Algebra i Logika

Несущественные расширения полных теорий

Б. Омаров (1983)

Algebra i Logika

Несчетно категоричное квазиследование ранга Морли.

М.Г. Перетятькин (1991)

Algebra i Logika

Нетабличность логики S4 по функциональной полноте.

М.Ф. Раца (1982)

Algebra i Logika

Неявная определимость и позитивные логики

Л.Л. Максимова (2003)

Algebra i Logika

Нижние оценки увеличения сложности выводов после устранения сечений

В.П. Оревков (1979)

Zapiski naucnych seminarov Leningradskogo

Нижняя оценка поворотной сложности для машин Тьюринга

Г.К. Лаздиня (1987)

Verojatnostnye metody i kibernetika

Новая последовательность редукций для арифметики

Г.Е. Минц (1979)

Zapiski naucnych seminarov Leningradskogo

Новая регулярная константа в интуиционистской логике высказываний

А.Д. Яшин (1996)

Sibirskij matematiceskij zurnal

Новая техника для получения диафантовых представлений путем устранения ограниченных кванторов общности

Ю.В. Матиясевич (1995)

Zapiski naucnych seminarov POMI

Новое доказательство теоремы единственности для конструктивных дифференцируемых функций комплексной переменной

В.П. Оревков (1974)

Zapiski naucnych seminarov Leningradskogo

Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов

Ю.В. Матиясевич (1976)

Zapiski naucnych seminarov Leningradskogo

Нормальность хорновых теорий с немаксимальным спектром

Е.А. Палютин (1985)

Algebra i Logika

Нумерации семейств общерекурсивных функций

Ю.Л. Ершов (1967)

Sibirskij matematiceskij zurnal

Нумерация класса $ℂ_{20}^{*}$

Ю.Л. Ершов (1977)

Algebra i Logika

Нумерованные алгебры с равномерно рекурсивно отделимыми классами

Н.Х. Касымов (1993)

Sibirskij matematiceskij zurnal

О $94_{3}^{0}$ -категоричности для линейных порядков и булевых алгебр.

Ч.Ф.Д. Мак-Кой (2002)

Algebra i Logika

О btt-сводимости.

Г.Н. Кобзев (1973)

Algebra i Logika

О btt-сводимости II.

Г.Н. Кобзев (1973)

Algebra i Logika

Currently displaying 421 – 440 of 1185

Previous Page 22 Next