Конструктивная теория доказательств и нестандатрный анализ А. Г. Драгалин; [Редкол. : Г. Е. Минц (отв. ред. ) и др. ]
Material type: TextPublication details: М. Едиториал УРСС 2003Description: 543, [1] сISBN: 5354003873Subject(s): Драгалин, Альберт Григорьевич 1941-1998 | конструктивная математика | математическая логика | интуиционистская теория доказательств | анализ нестандартный | доказательство теорем автоматическое | теория доказательств | интуиционистская логика | теоретико-модельные основания | теоретико-доказательственные основания | конструктивные методы | аксиоматические теории формальные | исчисление секвенций | интуиционистская логика предикатов | арифметические теории | алгебраические модели | Математический анализ | теорема о нормализации | антиномия | аксиоматическая теория множествItem type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | 1-910199к (Browse shelf (Opens below)) | 1 | Available | 13820000447787 |
Библиогр. трудов А. Г. Драгалина: с. 520-525
Имен. указ.: с. 526-529
Предм. указ.: с. 530-543
Библиогр.: с. 219-230
There are no comments on this title.