Aller au contenu
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
    • हिंदी
    • Հայերէն
    • Українська
Recherche avancée
  • Математическая теория логическ...
  • Citer
  • Envoyer par SMS
  • Envoyer par courriel
  • Imprimer
  • Exporter les notices
    • Exporter vers RefWorks
    • Exporter vers EndNoteWeb
    • Exporter vers EndNote
  • Permalien
Математическая теория логического вывода сборник переводов

Математическая теория логического вывода сборник переводов

Détails bibliographiques
Autres auteurs: Идельсон А. В. (340), Минц Г. Е.
Langue:russe
Publié: Москва, Наука, 1967
Collection:Математическая логика и основания математики
Sujets:
математика
математическая теория
математическая логика
логические выводы
числа
семантические таблицы
предикаты
Format: Livre
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=67811
  • Exemplaires
  • Description
  • Documents similaires
  • Affichage MARC

Documents similaires

  • Теория логического вывода
    par: Смирнов В. А. Владимир Александрович
    Publié: (Москва, РОССПЭН, 1999)
  • Основания математики. Логические исчисления и формализация арифметики.
    par: Гильберт Д. Давид
    Publié: (Москва, Наука, 1982)
  • Основания математики. Логические исчисления и формализация арифметики.
    par: Гильберт Д. Давид
    Publié: (Москва, Наука, 1979)
  • Теория логического вывода
    Publié: (Москва, Наука, 1973)
  • Математическая логика пер. с англ.
    par: Клини С. К. Стефан Коул
    Publié: (Москва, Мир, 1973)