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

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

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