Deductive Logic door David S. Clarke