著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Mac Lane, Saunders and Moerdijk, Ieke",Sheaves in geometry and logic : a first introduction to topos theory,,Springer-Verlag,1992,Universitext,,"0387977104,3540977104",,https://cir.nii.ac.jp/crid/1130282271734636800