TANIGUCHI,Kazushige

述語論理