Basic Model Theory (Studies in Logic, Language, and Information)