著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "李, 未",Mathematical logic : foundations for information science,2nd rev. ed,"Birkhäuser,Springer",2014,Progress in computer science and applied logic,,9783034808613,,https://cir.nii.ac.jp/crid/1130000797491711232