Dragalin, Alʹbert Grigorʹevich
Dragalin, Alʹbert Grigorʹevič (1941-1998).
Dragalin, Alʹbert Grigorʹevič
Dragaline, Albert Grigorievitch
Драгалин, А. Г 1941-1998
Драгалин, А. Г. (Альберт Григорьевич), 1941-1998
Альберт Драгалин советский математик, логик-констуктивист
VIAF ID: 46864349 ( Personal )
Permalink: http://viaf.org/viaf/46864349
Preferred Forms
- 200 _ | ‡a Dragalin ‡b Alʹbert Grigorʹevič
- 100 1 _ ‡a Dragalin, Al'bert Grigor'evič
-
-
-
-
- 100 1 _ ‡a Dragalin, Alʹbert Grigorʹevich
-
- 100 1 _ ‡a Dragaline, Albert Grigorievitch
- 100 0 _ ‡a Альберт Драгалин ‡c советский математик, логик-констуктивист
- 100 1 _ ‡a Драгалин, А. Г ‡d 1941-1998
-
4xx's: Alternate Name Forms (24)
Works
Title | Sources |
---|---|
Constructible sets with applications | |
Continuous model theory | |
Elementy matematicheskoĭ logiki | |
Konstruktivnai︠a︡ teorii︠a︡ dokazatelʹstv i nestandartnyĭ analiz, 2003: | |
Konstruktivnye množestva i ih priloženiâ | |
Lógica matemática, 2013: | |
Logičeskij vyvod | |
Matematičeskaâ logika : dopolnitel'nye glavy | |
Matematičeskij intuicionizm | |
Matematika v al'ternativnoj teorii množestv | |
Mathematical intuitionism introduction to proof theory | |
Mathematics in the alternative set theory | |
Notes on constructive mathematics | |
Očerki po konstruktivnoj matematike | |
Teoriâ nepreryvnyh modelej | |
Vvedenie v matematičeskuû logiku | |
Введение в математическую логику : допущено Министерством высшего и среднего специального образования СССР в качестве учебного пособия для студентов математических специальностей вузов | |
Вопросы кибернетики : Неоклассич. логики и их применение | |
Конструктивные множества и их приложения | |
Математическая логика : Доп. главы. ; [Учеб. пособие для вузов по спец. "Математика"] | |
Математический интуиционизм : введение в теорию доказательств | |
Очерки по конструктивной математике | |
Теория непрерывных моделей | |
Элементы математической логики |