Author,Title,Edition,Publisher,Year,Series,Number,ISBN,ISSN,URL
"Lambek, Joachim and Scott, P. J.",Introduction to higher order categorical logic,,Cambridge University Press,1988,Cambridge studies in advanced mathematics,,"0521246652,0521356539",,https://cir.nii.ac.jp/crid/1130000795344454016