Books: Introduction to symbolic logic and its applications (sorted by popularity)