著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Brook, Tim",Order and recursion in topoi,,"Dept. of Pure Mathematics, S.G.S., Australian National University",1977,Notes on pure mathematics,,0708110495,,https://cir.nii.ac.jp/crid/1130000796477294848