TY - BOOK AU - Chang, Chen Chung, AU - Keisler,H.Jerome TI - Model theory T2 - Studies in logic and the foundations of mathematics, v AV - QA97 C43 PY - 1973/// CY - Amsterdam PB - North-holland KW - TeorĂ­a de modelos ER -