Coba jelasin Lihat pula dari Teori model dong

Sambungan Bahasa Ontologi Web (OWL) ke logika deskripsi

Simmons, Harold (2004), An introduction to Good old fashioned model theory. Notes of an introductory course for postgraduates (with exercises).

J. Barwise and S. Feferman (editors), Model-Theoretic Logics, Perspectives in Mathematical Logic, Volume 8, New York: Springer-Verlag, 1985.