著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Cori, René and Lascar, D. (Daniel)","Propositional calculus, Boolean algebras, predicate calculus",,Oxford University Press,2000,Mathematical logic : a course with exercises,,"0198500491,0198500483",,https://cir.nii.ac.jp/crid/1130282271908627200