著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Nissanke, Nimal",Introductory logic and sets for computer scientists,,Addison Wesley Longman,1999,International computer science series,,0201179571,,https://cir.nii.ac.jp/crid/1130000796091819904