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