• 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: Смальян Р. Раймонд
Other Authors: Шанин Н. А. (340)
Published: Москва, Наука, 1981
Series:Математическая логика и основания математики
Subjects:
формальные системы
теория
математические системы
рекурсивная перечислимость
неполнота
неразрешимость
рекурсивные функции
креативность
приложения
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=308410
  • Holdings
  • Description
  • Similar Items
  • Staff View

Similar Items

  • Степени неразрешимости пер. с англ.
    by: Шенфилд Дж. Джозеф
    Published: (Москва, Наука, 1977)
  • Математическая логика и теория алгоритмов учебное пособие
    by: Набебин А. А. Алексей Александрович
    Published: (СПб., Научный мир, 2008)
  • Рекурсивно перечислимые множества и степени неразрешимости
    by: Арсланов М. М. Марат Мирзаевич
    Published: (Казань, Изд-во Казанского ун-та, 1986)
  • Лекции по математической логике и теории алгоритмов
    by: Верещагин Н. К
    Published: (Москва, МЦНМО, 1999)
  • Математическая логика, математическая лингвистика и теория алгоритмов сборник научных трудов
    Published: (Калинин, Изд-во Калининского гос. ун-та, 1983)