Skip to content
VuFind
    • 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: Бернайс П. Пауль
Language:Russian
Published: Москва, Наука, 1982
Series:Математическая логика и основания математики
Subjects:
математика
арифметика
формализация
математическая логика
разрешимость
логические выводы
предикаты
исчисления
рекурсивные определения
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=90313
  • Holdings
  • Description
  • Similar Items
  • Staff View

Similar Items

  • Логические и математические исчисления учебное пособие
    by: Шиханович Ю. А. Юрий Александрович
    Published: (Москва, Научный мир, 2011)
  • Математическая логика пер. с англ.
    by: Клини С. К. Стефан Коул
    Published: (Москва, Мир, 1973)
  • Введение в метаматематику пер. с англ.
    by: Клини С. К. Стефен К.
    Published: (Москва, Изд-во иностранной литературы, 1957)
  • Симметрическая конструктивная логика
    by: Заславский И. Д. Игорь Дмитриевич
    Published: (Ереван, Изд-во АН Армянской ССР, 1978)
  • Логический вывод
    Published: (Москва, Наука, 1979)