Модели в математической логике
Показать все ссылки каталога
Теоpии с покpытием и фоpмульные подмножества : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1992
948
246
217
Оценки и пучки: теоремы переноса : Автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : (05.13.17; 01.01.06)
1991
1894
238
218
Счетные модели суперстабильных теорий : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1991
2301
217
191
Число автоморфизмов моделей суперстабильных теорий : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 01.01.06
1992
543
133
111
Системы конгруенций в импликативной логике и теории моделей алгебр : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 01.01.06
1992
2642
321
281
Условия эффективности выбора в теории конструктивных моделей : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1994
649
237
203
Применение алгебраических методов в исследовании одного класса формул второго порядка : Автореф. дис. на соиск. учен. степ. к.ф.-м.н
1994
1647
276
248
É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
505
268
248
Теоpия моделей унитpеугольных и экзистенциально замкнутых гpупп : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1995
1363
406
361
Modelltheoretische Untersuchungen Boolescher Potenzen : Inaug.-Diss. der Math.-naturwiss. Fak. der Univ. zu Köln
1978
2797
232
200