著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Hämeen-Anttila, Maria and Von Plato, Jan",Kurt Gödel : the Princeton lectures on intuitionism,,Springer,2021,Sources and studies in the history of mathematics and physical sciences,,9783030872953,,https://cir.nii.ac.jp/crid/1130291145254971053