著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Mitchell, William J. (William John) and Steel, John R.",Fine structure and iteration trees,,"Association for Symbolic Logic,Cambridge University Press",2016,Lecture notes in logic,,9781107169098,,https://cir.nii.ac.jp/crid/1130282271547552768