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 23 Next

Displaying 441 – 460 of 1185

О e- и s-степенях

С.Д Захаров (1984)

Algebra i Logika

О Q-теориях 2-порожденных групп с данным аксиоматическим рангом

А.И. Будкин (1989)

Algebra i Logika

О tt- и m-степенях

А.Н. Дёгтев (1973)

Algebra i Logika

О tt-степенях рекурсивно-перечислимых тьюринговых степеней.

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

Algebra i Logika

О $Σ$ -свободных моделях

Б.Р. Френкин (1974)

Sibirskij matematiceskij zurnal

О базисах в алгебрах частично рекурсивных функций.

Х.Х. Насибуллов (1968)

Algebra i Logika

О биконъюнктивных классах сведения

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

Zapiski naucnych seminarov Leningradskogo

О Борелевых типах некоторых классов арифметических действительных чисел

Osvald Demuth (1982)

Commentationes Mathematicae Universitatis Carolinae

О верхней полурешетке рекурсивно-перечислимых Q-степеней.

Р.Ш. Оманадзе (1984)

Algebra i Logika

О верхней полурешетке рекурсивно-перечислимых sQ-степеней.

Р.Ш. Оманадзе (1991)

Algebra i Logika

О внутренней перечислимости линейных порядков

А.Н. Хисамиев (2000)

Algebra i Logika

О возможном решении обобщенной континиум-проблемы.

А.С. Нудельман (1999)

Algebra i Logika

О выразимости в ограниченной арифметике второго порядка

А.А. Набебин (1977)

Sibirskij matematiceskij zurnal

О выразимости функционалов в языке Д.Скотта LCF

В.Ю. Сазонов (1976)

Algebra i Logika

О выразительной силе некоторых динамических логик

А.П. Столбоушкин (1986)

Matematiceskij sbornik

О вычислениях с оракулами

Н.А. Плотникова (1983)

Sibirskij matematiceskij zurnal

О вычислимости над моделями разрешимых теорий

В.Г. Пузаренко (2000)

Algebra i Logika

О вычислимости некоторых классов нумераций

В.Л. Селиванов (1976)

Verojatnostnye metody i kibernetika

О вычислимости с функционалами

В.И. Амстиславский (1973)

Algebra i Logika

О вычислимых группах автоморфизмов моделей.

А.С. Морозов (1986)

Algebra i Logika

Currently displaying 441 – 460 of 1185

Previous Page 23 Next