著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Wenjuan Li and Kazuyuki Tanaka,Second-Order Logic and Related Systems : a game-semantical perspective,数理解析研究所講究録,18802818,[京都] : 京都大学数理解析研究所,2022-11,,2233,1-19,https://cir.nii.ac.jp/crid/1520295193457175296,