RUSIST
Единый реестр книг

Модели в математической логике

Показать все ссылки каталога
Théories forcing-complètes et structures génériques relatives au forcing fini en théorie des modèles : Thèse prés. devant l'Univ. Claude-Bernard, Lyon I ..
1973
Cusin Roger
2370
64
Теоpии с покpытием и фоpмульные подмножества : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1992
Викентьев Александp Александpович
948
217
Оценки и пучки: теоремы переноса : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : (05.13.17; 01.01.06)
1991
Любецкий Василий Александрович
1894
218
Однородные модели : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1992
Кудайбергенов Канат Жанзакович
572
400
Счетные модели суперстабильных теорий : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1991
Байсалов Ержан Рахметтоллаевич
2301
191
Число автоморфизмов моделей суперстабильных теорий : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 01.01.06
1992
Жетписов Кабылда
543
111
Конструктивные модели
1999
Гончаров Сергей Савостьянович, Ершов Юрий Леонидович
2230
373
Оценки и пучки:теоремы переноса : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1991
Любецкий Василий Александрович
1612
466
Einführung in die Modelltheorie und ihre Anwendungen
1981
Potthoff Klaus
1942
424
Системы конгруенций в импликативной логике и теории моделей алгебр : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 01.01.06
1992
Дискин Зиновий Борисович
2642
281
Model theory
1973
Chang Chen Chung, Keisler Howard Jerome
1008
215
Model theory and topoi : A coll. of lectures by various authors
1975
2215
154
Условия эффективности выбора в теории конструктивных моделей : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1994
Венцов Юрий Георгиевич
649
203
Topics in classical and intuitionistic model theory : Lecture notes
2000
Ljubeckij Vasilij Aleksandrovič, Larijani M J
1924
121
Применение алгебраических методов в исследовании одного класса формул второго порядка : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1994
Давидов Сергей Степанович
1647
248
Using sophisticated models in resolution theorem proving
1980
Sandford David M.
1228
158
Forcing sintactico
1984
Preiss T Ruben; Chuaqui K Rolando
602
74
Models and sets
1984
2599
52
Applications of model theory to algebra, analysis, and probability : Proceedings of the International symposium on the applications of model theory to algebra, analysis, and probability, held at the California inst. of technology, from May 23 to 26, 1967
1969
2251
446
Étude d'un modèle algébrique permettant de donner une représentation directement matérialisable de l'opérateur : "Table de vérité" : Thèse
1977
Bossuet Gérard
505
248
Belief base dynamics
1991
Hansson Sven Ove
1528
63
Теоpия моделей унитpеугольных и экзистенциально замкнутых гpупп : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1995
Белегpадек Олег Вильгельмович
1363
361
The concept and role of the model in mathematics and natural and social sciences : Proceedings of the Colloquium spons. by the Division of philosophy of sciences of the International Union of history and philosophy of sciences organized at Utrecht, Jan. 1960, by Hans Freudenthal
1961
771
206
Algebra and model theory : Coll. of papers
1997
1034
116
Model theory
1991
Chang Chen Chung, Keisler Howard Jerome
2693
284
Elements of mathematical logic : Model theory
1971
Kreisel Georg, Krivine Jean Louis
1642
166
Вычислимые классы конструктивизаций 2-конструктивизируемых моделей
1999
Подзоров С. Ю.
2074
455
Modelltheoretische Untersuchungen Boolescher Potenzen : Inaug.-Diss. der Math.-naturwiss. Fak. der Univ. zu Köln
1978
Lange Wilfried (матем 1948-)
2797
200
Автоустойчивость конструктивных моделей : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 01.01.06
1995
Кудинов Олег Викторович
589
34
Критические теории первого порядка : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1992
Важенин Юрий Михайлович
1728
4