Author,Title,Edition,Publisher,Year,Series,Number,ISBN,ISSN,URL
"Mac Lane, Saunders and Moerdijk, Ieke",Sheaves in geometry and logic : a first introduction to topos theory,2nd corr. printing,Springer,1994,Universitext,,"0387977104,3540977104",,https://cir.nii.ac.jp/crid/1130282270232775168