О противоречивости метатеории Нудельмана
В.А. Ганов, V. A. Ganov, V. A. Ganov, V. A. Ganov (1995)
Algebra i Logika
Similarity:
Displaying similar documents to “Обобщенные тождества с автоморфизмами.”
О противоречивости метатеории Нудельмана
О неглавных нумерациях.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
A remark on a paper of Taimanov
Ахмад Шафаат (1969)
Algebra i Logika
Similarity:
О существовании рекурсивно-перечислимых минимальных табличных степеней.
С.С. Марченков (1975)
Algebra i Logika
Similarity:
О btt-сводимости II.
Г.Н. Кобзев (1973)
Algebra i Logika
Similarity:
О соотношении между классом контекстно-свободных языков и классом детерминированных контекстно-свободных языков.
А.Я. Диковский (1969)
Algebra i Logika
Similarity:
О btt-сводимости.
Г.Н. Кобзев (1973)
Algebra i Logika
Similarity:
Некоторые вопросы обобщенной вычислимости.
Л.Н. Победин (1973)
Algebra i Logika
Similarity:
Письмо в редакцию
А.С. Джумадильдаев (1989)
Algebra i Logika
Similarity:
О подсистемах приведенных степеней.
А.И. Омаров (1973)
Algebra i Logika
Similarity:
Проблема числа неавтоэквивалентных конструктивизаций
С.С. Гончаров (1980)
Algebra i Logika
Similarity: