Basic Logic by McCall Raymond J