著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Lambek, Joachim and Scott, P. J.",Introduction to higher order categorical logic,,Cambridge University Press,1986,Cambridge studies in advanced mathematics,,0521246652,,https://cir.nii.ac.jp/crid/1130282272307176832