• 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
    • हिंदी
    • Հայերէն
    • Українська
高級檢索
  • Доказуемое и недоказуемое...
  • 引用
  • 發送短信
  • 推薦此
  • 打印
  • 導出紀錄
    • 導出到 RefWorks
    • 導出到 EndNoteWeb
    • 導出到 EndNote
  • Permanent link
Доказуемое и недоказуемое

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

書目詳細資料
主要作者: Манин Ю. И. Юрий Иванович
語言:俄语
出版: Москва, Советское радио, 1979
叢編:Кибернетика
主題:
математическая логика
формальные языки
истинность
выводимость
континуум
форсинг
аксиомы
гипотезы
格式: 圖書
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=155610
  • 持有資料
  • 實物特徵
  • 相似書籍
  • 職員瀏覽
實物特徵
實物描述:168 с.

相似書籍

  • Euclidian axiom 8 and the continuum-hypothesis; Перспективы развития фундаментальных наук
    由: Sukhotin A. M. Aleksandr Mikhailovich
    出版: (2013)
  • Логика и теория аргументации учебное пособие
    由: Вязьмин А. Ю.
    出版: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2017)
  • Теория формальных языков: Вводный курс; пер. с англ.
    由: Рейуорд-Смит В. Дж
    出版: (Москва, Радио и связь, 1988)
  • Симметрическая конструктивная логика
    由: Заславский И. Д. Игорь Дмитриевич
    出版: (Ереван, Изд-во АН Армянской ССР, 1978)
  • Курс лекций по логике: учебное пособие
    由: Гусев Д. А. Дмитрий Алексеевич
    出版: (Москва, Директ-Медиа, 2014)