著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Boole, George and 西脇, 与作 and 末木, 剛博",論理の数学的分析 : 演繹的推論の計算に関する試論,,公論社,1977,論理学古典選集,,,,https://cir.nii.ac.jp/crid/1130000797916433152