Art and science of logic - Bonevac, Daniel A. (Mayfield Pub. Co., 1990)