Skip to content
  • Language
    • English
    • Русский

Advanced
  • Конструктивная теория доказате...
  • Cite this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Конструктивная теория доказательств и нестандартный анализ: научное издание/

Конструктивная теория доказательств и нестандартный анализ: научное издание/

Bibliographic Details
Main Author: Драгалин Альберт Григорьевич (Author)
Other Authors: Минц, Г. Е. (Editor)
Format: Book
Published: М.: Едиториал УРСС 2003
Subjects:
доказательства
нестандартный анализ
конструктивная математика
интуиционизм
математическая логика
логика
Online Access:Перейти в каталог Библиотеки ТУСУР
  • Holdings
  • Description
  • Similar Items
  • Staff View

Internet

Перейти в каталог Библиотеки ТУСУР

Similar Items

  • Конструктивная теория доказательств и нестандатрный анализ
    by: Драгалин, Альберт Григорьевич 1941-1998
    Published: (2003)
  • Исследования по конструктивной математике и математической логике Сборник
    Published: (1995)
  • О поле нестандартных вещественных чисел
    by: Пестов, Герман Гаврилович 1932-2015
  • Основания математики. Теория доказательств: научное издание/
    by: Гильберт, Д. Давид, et al.
    Published: (1982)
  • Справочная книга по математической логике В 4-х ч. Пер. с англ.
    Published: (1983)
|   Advanced Search   |   Search Tips   |

Большой университет Томска
https://university-tomsk.ru/
Loading...