著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Andrews, P. B. (Peter Bruce)",An introduction to mathematical logic and type theory : to truth through proof,,Academic Press,1986,Computer science and applied mathematics,,"0120585359,0120585367",,https://cir.nii.ac.jp/crid/1130000795523423232