著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Zakharyaschev, Michael and Goncharov, S. S. (Sergeĭ Sevostʹi︠a︡novich) and Gabbay, Dov M.",Mathematical problems from applied logic : logics for the XXIst century,,Springer,2006,International mathematical series,,"0387286888,0387692444",,https://cir.nii.ac.jp/crid/1130282271871886976