THE THEORY OF MODELS - Addison, J.W., Henkin, Leon; Tarski, Alfred (North-Holland, 1965)