• 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
    • हिंदी
    • Հայերէն
    • Українська
Tarkennettu
  • Исследования по теории доказат...
  • Sitaatti
  • Tekstiviesti
  • Lähetä sähköpostilla
  • Tulosta
  • Vie tietue
    • Vienti: RefWorks
    • Vienti: EndNoteWeb
    • Vienti: EndNote
  • Pysyvä linkki
Vienti valmis — 
Исследования по теории доказательств: сборник статей; пер. с англ.

Исследования по теории доказательств: сборник статей; пер. с англ.

Bibliografiset tiedot
Päätekijä: Крайзель Г.
Kieli:venäjä
Julkaistu: Москва, Мир, 1981
Sarja:Математика. Новое в зарубежной науке 23
Aiheet:
Математическая логика
Основания математики
доказательства
теория
математическая теория
методы
происхождение
вычислительные программы
синтез
Aineistotyyppi: Kirja
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=365090
  • Saatavuustiedot
  • Kuvaus
  • Samankaltaisia teoksia
  • Henkilökuntanäyttö

Samankaltaisia teoksia

  • Степени неразрешимости: пер. с англ.; Три теоремы о степенях рекурсивно перечислимых множеств; Решетка рекурсивно перечислимых множеств; Иерархия булевых алгебр; Гипотеза сильной однородности
    Tekijä: Шенфилд Дж. Джозеф
    Julkaistu: (Москва, Наука, 1977)
  • Основания математики. Теория доказательств: пер. с нем.
    Tekijä: Гилберт Д. Давид
    Julkaistu: (Москва, Наука, 1982)
  • Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал)
    Julkaistu: (Новосибирск, Изд-во ИМ СО РАН, 1986)
  • Теория доказательств: пер. с англ.
    Tekijä: Такеути Г. Гаиси
    Julkaistu: (Москва, Мир, 1978)
  • Опыт классификации математических исследований. Категории математического познания
    Tekijä: Аржаных И. С. Иван Семенович
    Julkaistu: (Ташкент, Фан, 1982)