著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "北田, 均",ゲーデル不完全性発見への道,,現代数学社,2011,大数学者の数学,,9784768703915,,https://cir.nii.ac.jp/crid/1130282268980623744