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

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

Показать все ссылки каталога
Критические теории первого порядка : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1992
Важенин Юрий Михайлович
1737
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-)
2813
0
Вычислимые классы конструктивизаций 2-конструктивизируемых моделей
1999
Подзоров С. Ю.
2086
0
Elements of mathematical logic : Model theory
1971
Kreisel Georg, Krivine Jean Louis
1650
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адек Олег Вильгельмович
1378
0
Belief base dynamics
1991
Hansson Sven Ove
1544
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
2268
0
Models and sets
1984
2610
0
Forcing sintactico
1984
Preiss T Ruben; Chuaqui K Rolando
623
0
Using sophisticated models in resolution theorem proving
1980
Sandford David M.
1256
0
Применение алгебраических методов в исследовании одного класса формул второго порядка : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1994
Давидов Сергей Степанович
1663
0
Topics in classical and intuitionistic model theory : Lecture notes
2000
Ljubeckij Vasilij Aleksandrovič, Larijani M J
1940
0
Условия эффективности выбора в теории конструктивных моделей : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1994
Венцов Юрий Георгиевич
670
0
Model theory and topoi : A coll. of lectures by various authors
1975
2238
0
Model theory
1973
Chang Chen Chung, Keisler Howard Jerome
1028
0
Системы конгруенций в импликативной логике и теории моделей алгебр : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 01.01.06
1992
Дискин Зиновий Борисович
2667
0
Einführung in die Modelltheorie und ihre Anwendungen
1981
Potthoff Klaus
1967
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
2410
0
Теоpии с покpытием и фоpмульные подмножества : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1992
Викентьев Александp Александpович
962
0
Оценки и пучки: теоремы переноса : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : (05.13.17; 01.01.06)
1991
Любецкий Василий Александрович
1931
0
Однородные модели : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1992
Кудайбергенов Канат Жанзакович
588
0
Счетные модели суперстабильных теорий : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1991
Байсалов Ержан Рахметтоллаевич
2318
0
Число автоморфизмов моделей суперстабильных теорий : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 01.01.06
1992
Жетписов Кабылда
568
0
Конструктивные модели
1999
Гончаров Сергей Савостьянович, Ершов Юрий Леонидович
2278
0
Оценки и пучки:теоремы переноса : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1991
Любецкий Василий Александрович
1656
0