First course in mathematical logic. Topics include sentential logic, the logic of quantification, and some of the basic concepts and results of metalogic (interpretations, validity, and soundness).