著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Clerbout, Nicolas and Rahman, Shahid","Linking game-theoretical approaches with constructive type theory : dialogical strategies, CTT demonstrations and the axiom of choice",,Springer,2015,Springer briefs in philosophy,,9783319190624,,https://cir.nii.ac.jp/crid/1130000796831556224