• English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Aurreratua
  • Степени неразрешимости...
  • Erreferentzia bihurtu
  • SMS
  • Bidali
  • Imprimir
  • Erregistroa esportatu
    • Nora RefWorks
    • Nora EndNoteWeb
    • Nora EndNote
  • Permanent link
Степени неразрешимости пер. с англ.

Степени неразрешимости, пер. с англ.

Xehetasun bibliografikoak
Egile nagusia: Шенфилд Дж. Джозеф
Argitaratua: Москва, Наука, 1977
Copublished:К. Е. М. Ейтс. Три теоремы о степенях рекурсивно перечислимых множеств
Saila:Математическая логика и основания математики
Gaiak:
терминология
неразрешимость
степени
рекурсивные функции
изоморфизмы
рекурсивная перечислимость
несравнимые степени
множества
Formatua: Liburua
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=357060
  • Aleari buruzko argibideak
  • Deskribapena
  • Antzeko izenburuak
  • MARC erregistroa

Antzeko izenburuak

  • Теория формальных систем пер. с англ.
    nork: Смальян Р. Раймонд
    Argitaratua: (Москва, Наука, 1981)
  • Рекурсивно перечислимые множества и степени неразрешимости
    nork: Арсланов М. М. Марат Мирзаевич
    Argitaratua: (Казань, Изд-во Казанского ун-та, 1986)
  • Исследования по теории доказательств сборник статей пер. с англ.
    nork: Крайзель Г.
    Argitaratua: (Москва, Мир, 1981)
  • Математическая логика и теория алгоритмов учебное пособие
    nork: Набебин А. А. Алексей Александрович
    Argitaratua: (СПб., Научный мир, 2008)
  • Локальная теория степеней неразрешимости
    nork: Арсланов М. М. Марат Мирзаевич
    Argitaratua: (Казань, Изд-во Казанского ун-та, 1987)