Title: The Logic Book with Student Solutions CD-ROM