Introduces symbolic logic in a way that is accessible and yet rigorous enough to provide an adequate foundation for students who intend to further pursue studies in logic, or who work in areas of study - for example, philosophy or linguistics - where a serious understanding of logic is essential.