|
|
|
1.
Title:
Studies in model theory [by] Jon Barwise [and others] M. D. Morley, editor.
Studies in mathematics,
Studies in mathematics (Mathematical Association of America) ;
Author:
Morley, Michael Darwin, 1930-
Publication:
Mathematical Association of America [Buffalo] [c1973]
|
|
|
|
2.
Title:
Saturated model theory [by] Gerald E. Sacks.
Mathematics lecture note series
Author:
Sacks, Gerald E.
Publication:
W. A. Benjamin, Reading, Mass., 1972.
|
|
|
|
3.
Title:
Einfèuhrung in die Modelltheorie. English
Introduction to model theory / Philipp Rothmaler.
Algebra, logic, and applications ;
Author:
Rothmaler, Philipp.
Publication:
Gordon and Breach Science Publishers, Amsterdam : c2000.
|
|
|
|
4.
Title:
Finite model theory / Heinz-Dieter Ebbinghaus, Jèorg Flum.
Springer monographs in mathematics,
Author:
Ebbinghaus, Heinz-Dieter, 1939-
Publication:
Springer, New York, NY : 2005.
Edition:
2nd rev. and enl. ed. 1999
|
|
|
|
5.
Title:
Finite model theory / Heinz-Dieter Ebbinghaus, Jèorg Flum.
Perspectives in mathematical logic,
Author:
Ebbinghaus, Heinz-Dieter, 1939-
Publication:
Springer, Berlin ; New York : 1999.
Edition:
2nd rev. and enl. ed.
|
|
|
|
6.
Title:
Model theory and topoi : a collection of lectures by various authors / edited by F. W. Lawvere, C. Maurer, G. C. Wraith.
Lecture notes in mathematics ; 445
Lecture notes in mathematics (Springer-Verlag) ;
Publication:
Springer-Verlag, Berlin ; New York : 1975.
|
|
|
|
7.
Title:
Stability in model theory / Daniel Lascar ; translated from the French by J.E. Wallington.
Pitman monographs and surveys in pure and applied mathematics,
Author:
Lascar, D. (Daniel), 1942-
Publication:
Longman Scientific & Technical ; J. Wiley, Harlow, Essex, England : New York : 1987.
|
|
|
|
8.
Title:
Mathematical logic : an introduction to model theory / A. H. Lightstone ; edited by H. B. Enderton.
Mathematical concepts and methods in science and engineering ; v. 9
Author:
Lightstone, A. H.
Publication:
Plenum Press, New York : c1978.
|
|
|
|
9.
Title:
Topological model theory / Jèorg Flum, Martin Ziegler.
Lecture notes in mathematics ; 769
Lecture notes in mathematics (Springer-Verlag) ;
Author:
Flum, Jèorg.
Publication:
Springer-Verlag, Berlin ; New York : 1980.
|
|
|
|
10.
Title:
Studies in modeltheoretic semantics / Alice G.B. ter Meulen (ed.).
Groningen-Amsterdam studies in semantics ;
Publication:
Foris Publications, Dordrecht, Holland ; Cinnaminson, U.S.A. : 1983.
|
|
|
|
11.
Title:
Constructible sets with applications/ by A. Mostowski.
Studies in logic and the foundations of mathematics
Author:
Mostowski, Andrzej.
Publication:
North-Holland, Amsterdam: 1969.
|
|
|
|
12.
Title:
Models and ultraproducts: an introduction/ by J. L. Bell ; A. B. Slomson.
Author:
Bell, John Lane.
Publication:
Elsevier, Amsterdam: 1969.
Edition:
ed. 3.
|
|
|
|
13.
Title:
Complete theories / Abraham Robinson.
Studies in logic and the foundations of mathematics
Author:
Robinson, Abraham, 1918-1974.
Publication:
North-Holland Pub. Co. : sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, Amsterdam ; New York : 1977.
Edition:
2d ed. / pref. to 2d ed. by H. J. Keisler.
|
|
|
|
14.
Title:
Model theory/ C. C. Chang and H. J. Keisler.
Studies in logic;
Author:
Chang, Chen-Chung.
Publication:
Elsevier, Amsterdam: 1973.
|
|
|
|
15.
Title:
Filters in abstract model theory/ Kerkko Luosto.
Author:
Luosto, Kerkko.
Publication:
University of Helsinki, Helsinki: 1992.
|
|
|
|
16.
Title:
Advances in algebra and model theory : selected surveys presented at conferences in Essen, 1994 and Dresden, 1995 / edited by Manfred Droste and Rèudiger Gèobel.
Algebra, logic, and applications ;
Publication:
Gordon and Breach, Amsterdam : c1997.
|
|
|
|
17.
Title:
Essential stability theory / Steven Buechler.
Perspectives in mathematical logic
Author:
Buechler, Steven, 1955-
Publication:
Springer, Berlin ; New York : c1996.
|
|
|
|
18.
Title:
First order categorical logic : model-theoretical methods in the theory of topoi and related categories / Michael Makkai, Gonzalo Reyes.
Lecture notes in mathematics ; 611
Lecture notes in mathematics (Springer-Verlag) ;
Author:
Makkai, Michael, 1939-
Publication:
Springer-Verlag, Berlin ; New York : 1977.
|
|
|
|
19.
Title:
Boolean-valued models and independence proofs in set theory / by J. L. Bell.
Oxford logic guides
Author:
Bell, J. L. (John Lane)
Publication:
Clarendon Press, Oxford : 1977.
|
|
|
|
20.
Title:
MODEL theory and algebra: a memorial tribute to Abraham Robinson/ edited by D. H. Saracino and V. B. weispfenning.
Lecture notes in mathematics;
Publication:
Springer, Berlin: 1975.
|
|
|
|
21.
Title:
Algebraicheskie sistemy. English
Algebraic systems [by] A. I. Mal§cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy.
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen,
Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berèucksichtigung der Anwendungsgebiete ;
Author:
Mal§ëtىsev, A. I. (Anatoliوi Ivanovich), 1909-1967.
Publication:
Springer-Verlag, Berlin, New York, 1973.
|
|
|
|
22.
Title:
Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / Elisabeth Bouscaren (ed.).
Hrushovski's proof of the geometric Mordell-Lang conjecture
Lecture notes in mathematics,
Lecture notes in mathematics (Springer-Verlag) ;
Publication:
Springer, Berlin ; New York : c1998.
|
|
|
|
|
|
|