Saya mau tau Lihat pula dari Teori model

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.