著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"佐々木, 克巳",Logics and provability,,"Institute for Logic, Language and Computation, Universiteit van Amsterdam",2001,ILLC dissertation series,,905776069X,,https://cir.nii.ac.jp/crid/1130000794875279360