Similar Items: Introduction to symbolic logic and its applications.