• 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
    • हिंदी
    • Հայերէն
    • Українська
Pokročilé
  • Основания математики. Логическ...
  • Vytvořit citaci
  • Zaslat SMS
  • Poslat e-mailem
  • Vytisknout
  • Exportovat záznam
    • Exportovat do RefWorks
    • Exportovat do EndNoteWeb
    • Exportovat do EndNote
  • Trvalý odkaz
Esportazioa burutua — 
Основания математики. Логические исчисления и формализация арифметики.

Основания математики. Логические исчисления и формализация арифметики.

Podrobná bibliografie
Hlavní autor: Гильберт Д. Давид
Další autoři: Бернайс П. Пауль
Jazyk:ruština
Vydáno: Москва, Наука, 1982
Edice:Математическая логика и основания математики
Témata:
математика
арифметика
формализация
математическая логика
разрешимость
логические выводы
предикаты
исчисления
рекурсивные определения
Médium: MixedMaterials Kniha
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=90313
  • Jednotky
  • Popis
  • Podobné jednotky
  • UNIMARC/MARC

Podobné jednotky

  • Основания математики. Логические исчисления и формализация арифметики.
    Autor: Гильберт Д. Давид
    Vydáno: (Москва, Наука, 1979)
  • Логические и математические исчисления: учебное пособие
    Autor: Шиханович Ю. А. Юрий Александрович
    Vydáno: (Москва, Научный мир, 2011)
  • Математическая логика: учебное пособие
    Autor: Ершов Ю. Л. Юрий Леонидович
    Vydáno: (СПб., Лань, 2004)
  • Математическая теория логического вывода: сборник переводов
    Vydáno: (Москва, Наука, 1967)
  • Математическая логика: пер. с англ.
    Autor: Клини С. К. Стефан Коул
    Vydáno: (Москва, Мир, 1973)