Author,Title,Edition,Publisher,Year,Series,Number,ISBN,ISSN,URL
"竹内, 外史",Proof theory,,UT Back-in-Print Service,1975,Studies in logic and the foundations of mathematics,,"0444104925,0720422779",,https://cir.nii.ac.jp/crid/1130282268660514560