Logic : an introduction - Churchill, Robert Paul (St. Martin's Press, 1990)