Finitely axiomatizable theories

Mikhail G. Peretyat'kin.

New York : Consultants Bureau, ©1997.

An introduction to model theory

Zarko Mijajlovic.

Novi Sad, Yugoslavia : University of Novi Sad, Faculty of Science, Institute of Mathematics, 1987.

Cours de théorie des modèles : une introduction à la logique mathématique contemporaine

Bruno Poizat.

Villeurbanne : B. Poizat, ©1985.

Logic in algebraic form : three languages and theories

William Craig.

Amsterdam : North-Holland ; New York : American Elsevier, 1974.

Model theory

C. C. Chang and H. J. Keisler.

Amsterdam : North-Holland ; New York : American Elsevier, 1973.

Studies in model theory

M. D. Morley, editor.

[Buffalo] : Mathematical Association of America, ©1973.

Models and ultraproducts : an introduction

by J. L. Bell and A. B. Slomson.

2nd revised printing.

Amsterdam : North-Holland, 1971.

Théorie des modèles en logique mathématique

par Aubert Daigneault.

2e éd.

Montréal : Presses de l'Université de Montréal, 1967.

Éléments de logique mathématique : théorie des modèles

G. Kreisel, J. L. Krivine.

Paris : Dunod, 1967.

Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

edited by John N. Crossley.

Amsterdam : North-Holland ; New York : American Elsevier, 1967.

Continuous model theory

by Chen Chung Chang and H. Jerome Keisler.

Princeton, N.J. : Princeton University Press, 1966.

Notes on logic

by Roger C. Lyndon.

Princeton, N.J. : Van Nostrand, ©1966.

The theory of models : proceedings of the 1963 International Symposium at Berkeley

edited by J. W. Addison, Leon Henkin, Alfred Tarski.

Amsterdam : North-Holland, 1965.

Introduction to model theory and to the metamathematics of algebra

Abraham Robinson.

Amsterdam : North-Holland, 1963.

Introduction to semantics : and Formalization of logic

by Rudolf Carnap.

Cambridge, Massachusetts : Harvard University Press, 1959.

Meaning and necessity : a study in semantics and modal logic

by Rudolf Carnap.

[2nd ed., enl.].

Chicago : University of Chicago Press, 1956.

Formal logic

by A. N. Prior.

Oxford : Clarendon Press, 1955.

Deux esquisses de logique

par J. Barkley Rosser.

Paris : Gauthier-Villars, 1955.