リチャードジェフェリーの形式論理学ってどうなんだ。