著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Ayala-Rincón, Mauricio and de Moura, Flávio L. C.",Applied logic for computer scientists : computational deduction and formal proofs,,Springer,2017,Undergraduate topics in computer science,,9783319516516,,https://cir.nii.ac.jp/crid/1130282270901768832