• 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
    • हिंदी
    • Հայերէն
    • Українська
Avançada
  • Основания математики. Логическ...
  • Citar
  • Enviar aquest missatge de text
  • Enviar per correu electrònic aquest
  • Imprimir
  • Exportar registre
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Enllaç permanent
Exportació completada — 
Основания математики. Логические исчисления и формализация арифметики.

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

Dades bibliogràfiques
Autor principal: Гильберт Д. Давид
Altres autors: Бернайс П. Пауль
Idioma:rus
Publicat: Москва, Наука, 1979
Col·lecció:Математическая логика и основания математики
Matèries:
математика
арифметика
формализация
математическая логика
разрешимость
логические выводы
предикаты
исчисления
рекурсивные определения
Format: Llibre
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=67813
  • Fons
  • Descripció
  • Ítems similars
  • Visualització del personal

Ítems similars

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