Buku ini memberikan pengantar yang hidup dan menarik untuk semantik formal. Area yang dicakup meliputi: Pengantar pemula untuk teori tipe dan kalkulus lambda; Teori quantifier umum; Opasitas referensial; Peran tematik dan struktur konseptual leksikal; Actionsarten; Teori Representasi Wacana; Semantik acara.