著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Gilmore, Paul C. (Paul Carl)",Logicism renewed : logical foundations for mathematics and computer science,,Association for Symbolic Logic,2005,Lecture notes in logic,,"1568812752,1568812760",,https://cir.nii.ac.jp/crid/1130000793878689920