Logic and its applications - Foxley, Eric (Prentice Hall, 1996)