Basic logic - Mendelsohn, Richard L. (Prentice-Hall, 1987)