• 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: Драгалин А. Г. Альберт Григорьевич
Published: Москва, Едиториал УРСС, 2003
Subjects:
Драгалин > А. Г. > математик, логик-конструктивист > Альберт Григорьевич > 1941-1998
математика
математическая логика
математический интуиционизм
философия
арифметика
алгебраические модели
доказательства
нестандартный анализ
множества
аксиоматическая теория
антиномия
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58788
  • Holdings
  • Description
  • Similar Items
  • Staff View
Description
Physical Description:544 с. ил.
ISBN:5354003873

Similar Items

  • Математическая логика пер. с англ.
    by: Клини С. К. Стивен Коул
    Published: (Москва, Едиториал УРСС, 2005)
  • Теория множеств и континуум-гипотеза
    by: Коэн П. Д. Пол Дж.
    Published: (Москва, Мир, 1969)
  • Элементы математической логики
    by: Новиков П. С. Петр Сергеевич
    Published: (Москва, Наука, 1973)
  • Что такое нестандартный анализ
    by: Успенский В. А. Владимир Андреевич
    Published: (Москва, Наука, 1987)
  • Топосы. Категорный анализ логики пер. с англ.
    by: Голдблатт Р.
    Published: (Москва, Мир, 1983)