"Takes up such topics as identity, singular terms, intuitive set theory, and translating English sentences into symbolic notation." . . . .