Logic review on CD-ROM - Copi, Irving M.; Cohen, Carl (Prentice Hall, 1998)