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