Deductive Logic by David S. Clarke