著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Troelstra, A. S. (Anne Sjerp)","Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.",,Springer-Verlag,1969,Lecture notes in mathematics,,,,https://cir.nii.ac.jp/crid/1130282270782767872