• 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
    • हिंदी
    • Հայերէն
    • Українська
Advanced
  • Доказуемое и недоказуемое...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Доказуемое и недоказуемое

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

Bibliographic Details
Main Author: Манин Ю. И. Юрий Иванович
Language:Russian
Published: Москва, Советское радио, 1979
Series:Кибернетика
Subjects:
математическая логика
формальные языки
истинность
выводимость
континуум
форсинг
аксиомы
гипотезы
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=155610
  • Holdings
  • Description
  • Similar Items
  • Staff View

Similar Items

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