• 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
Доказуемое и недоказуемое

Доказуемое и недоказуемое

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

Samankaltaisia teoksia

  • Euclidian axiom 8 and the continuum-hypothesis; Перспективы развития фундаментальных наук
    Tekijä: Sukhotin A. M. Aleksandr Mikhailovich
    Julkaistu: (2013)
  • Теория формальных языков: Вводный курс; пер. с англ.
    Tekijä: Рейуорд-Смит В. Дж
    Julkaistu: (Москва, Радио и связь, 1988)
  • Логика и теория аргументации учебное пособие
    Tekijä: Вязьмин А. Ю.
    Julkaistu: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2017)
  • Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.01
    Tekijä: Ларионов Д. С. Дмитрий Сергеевич
    Julkaistu: (Томск, [Б. и.], 2005)
  • Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: автореферат диссертации на соискание ученой степени кандидата технических наук; Спец. 05.13.01
    Tekijä: Ларионов Д. С. Дмитрий Сергеевич
    Julkaistu: (Томск, [Б. и.], 2005)