著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Centrone, Stefania and Negri, Sara and Sarikaya, Deniz and Schuster, Peter M.","Mathesis universalis, computability and proof",,Springer,2019,Synthese library,,9783030204464,,https://cir.nii.ac.jp/crid/1130003902555146240