著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"白旗, 優",Notes on the game semantics of Godel's T,数理解析研究所講究録,1880-2818,京都大学数理解析研究所,2001-06,1217,,121-142,https://cir.nii.ac.jp/crid/1050282677273276032,