著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Aguzzoli, Stefano",Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday,,Springer,2007,Lecture notes in computer science,,9783540759386,,https://cir.nii.ac.jp/crid/1130000797234984320