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

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

Показать все ссылки каталога
Критические теории первого порядка : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1992
Важенин Юрий Михайлович
1736
0
Автоустойчивость конструктивных моделей : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 01.01.06
1995
Кудинов Олег Викторович
595
0
Modelltheoretische Untersuchungen Boolescher Potenzen : Inaug.-Diss. der Math.-naturwiss. Fak. der Univ. zu Köln
1978
Lange Wilfried (матем 1948-)
2811
0
Вычислимые классы конструктивизаций 2-конструктивизируемых моделей
1999
Подзоров С. Ю.
2086
0
Elements of mathematical logic : Model theory
1971
Kreisel Georg, Krivine Jean Louis
1648
0
Model theory
1991
Chang Chen Chung, Keisler Howard Jerome
2700
0
Algebra and model theory : Coll. of papers
1997
1046
0
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
786
0
Теоpия моделей унитpеугольных и экзистенциально замкнутых гpупп : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1995
Белегpадек Олег Вильгельмович
1376
0
Belief base dynamics
1991
Hansson Sven Ove
1542
0
É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
512
0
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
2266
0
Models and sets
1984
2609
0
Forcing sintactico
1984
Preiss T Ruben; Chuaqui K Rolando
622
0
Using sophisticated models in resolution theorem proving
1980
Sandford David M.
1254
0
Применение алгебраических методов в исследовании одного класса формул второго порядка : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1994
Давидов Сергей Степанович
1662
0
Topics in classical and intuitionistic model theory : Lecture notes
2000
Ljubeckij Vasilij Aleksandrovič, Larijani M J
1940
0
Условия эффективности выбора в теории конструктивных моделей : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1994
Венцов Юрий Георгиевич
668
0
Model theory and topoi : A coll. of lectures by various authors
1975
2237
0
Model theory
1973
Chang Chen Chung, Keisler Howard Jerome
1026
0
Системы конгруенций в импликативной логике и теории моделей алгебр : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 01.01.06
1992
Дискин Зиновий Борисович
2666
0
Einführung in die Modelltheorie und ihre Anwendungen
1981
Potthoff Klaus
1965
0
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
2407
0
Теоpии с покpытием и фоpмульные подмножества : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1992
Викентьев Александp Александpович
962
0
Оценки и пучки: теоремы переноса : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : (05.13.17; 01.01.06)
1991
Любецкий Василий Александрович
1931
0
Однородные модели : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1992
Кудайбергенов Канат Жанзакович
587
0
Счетные модели суперстабильных теорий : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1991
Байсалов Ержан Рахметтоллаевич
2317
0
Число автоморфизмов моделей суперстабильных теорий : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 01.01.06
1992
Жетписов Кабылда
567
0
Конструктивные модели
1999
Гончаров Сергей Савостьянович, Ершов Юрий Леонидович
2274
0
Оценки и пучки:теоремы переноса : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1991
Любецкий Василий Александрович
1653
0