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