著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "竹内, 外史",Two applications of logic to mathematics,,"Iwanami Shoten,Princeton University Press",1978,Publications of the Mathematical Society of Japan,,069108212X,,https://cir.nii.ac.jp/crid/1130000795412778240