This book discusses truth-conditional semantics, model-theoretic approaches, and Montague semantics for analyzing meaning in sentences. It covers formalizing reference, quantification, and predicates