Title: The theory of models
Subjects: Mathematical models, Symbolic and mathematical Logic