Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
Р.К. Пранк (1981)
Algebra i Logika
Similarity:
Р.К. Пранк (1981)
Algebra i Logika
Similarity:
Л.Н. Победин (1973)
Algebra i Logika
Similarity:
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
В.А. Ганов, V. A. Ganov, V. A. Ganov, V. A. Ganov (1995)
Algebra i Logika
Similarity:
С.С. Марченков (1975)
Algebra i Logika
Similarity:
Ч.Г. Массурос (1985)
Algebra i Logika
Similarity:
Т.Г. Мустафин (1980)
Algebra i Logika
Similarity:
А.И. Омаров (1973)
Algebra i Logika
Similarity:
Е.Б. Кинбер (1974)
Algebra i Logika
Similarity:
Г.Н. Кобзев (1973)
Algebra i Logika
Similarity:
Г.Н. Кобзев (1973)
Algebra i Logika
Similarity: