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

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

Однородные модели : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1992
Кудайбергенов Канат Жанзакович
572
400
Конструктивные модели
1999
Гончаров Сергей Савостьянович, Ершов Юрий Леонидович
2230
373
Einführung in die Modelltheorie und ihre Anwendungen
1981
Potthoff Klaus
1942
424
Model theory
1973
Chang Chen Chung, Keisler Howard Jerome
1008
215
Topics in classical and intuitionistic model theory : Lecture notes
2000
Ljubeckij Vasilij Aleksandrovič, Larijani M J
1924
121
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
Belief base dynamics
1991
Hansson Sven Ove
1528
63
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