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
03Dxx Computability and recursion theory
03D65 Higher-type and set recursion theory

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

Page 1

Displaying 1 – 8 of 8

$Σ$ -предикаты конечных типов над допустимым множеством

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

Algebra i Logika

Конструктивная классификация арифметических предикатов и семантические базисы арифметики

M.M. Кипнис (1968)

Zapiski naucnych seminarov Leningradskogo

Некоторые модификации итерированной клиниевской вычислимости.

Е.Г. Никифорова (1986)

Algebra i Logika

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

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

Algebra i Logika

О соотношении сноп-пространств и нумерованных множеств со свойством $C_{2}^{*}$

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

Zapiski naucnych seminarov Leningradskogo

Об одном способе моделирования классической арифметики второй ступени

Н.В. Белякин (1983)

Algebra i Logika

Обобщенная вычислимость и дескриптивная теория множеств

В.А. Ганов (1974)

Sibirskij matematiceskij zurnal

Эффективные оракулы

А.Н. Гамова (1990)

Algebra i Logika

Currently displaying 1 – 8 of 8

Page 1