著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Rasga, João and Sernadas, Cristina",Decidability of logical theories and their combination,,"Birkhäuser,Springer",2020,Studies in universal logic,,9783030565534,,https://cir.nii.ac.jp/crid/1130004954721029632