TY - BOOK AU - Addison, J.W., Henkin, Leon AU - Tarski, Alfred TI - THE THEORY OF MODELS U1 - 160 PY - 1965/// CY - PB - North-Holland ER -