著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Väänänen, J. (Jouko)",Dependence logic : a new approach to independence friendly logic,,Cambridge University Press,2007,London Mathematical Society student texts,,"9780521876599,9780521700153",,https://cir.nii.ac.jp/crid/1130000797017033728