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