著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Indian Conference on Logic and its Relationship with Other Disciplines and Benthem, J. F. A. K. van and Gupta, Amitabha and Parikh, Rohit","Proof, computation and agency : logic at the crossroads",,Springer,2011,Synthese library,,"9789400700796,9789400735811",,https://cir.nii.ac.jp/crid/1130000797185525760