著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Andrews, P. B. (Peter Bruce)",An introduction to mathematical logic and type theory : to truth through proof,2nd ed.,Kluwer Academic,2002,Applied logic series,,1402007639,,https://cir.nii.ac.jp/crid/1130000796107905408