A widely used introduction to logic emphasizing precision in exposition and the fundamental methods and techniques of correct reasoning, illustrated with contemporary examples.