結果 : mathematical logic for computer science by mordechai ben ari