Author,Title,Edition,Publisher,Year,Series,Number,ISBN,ISSN,URL
"Troelstra, A. S. (Anne Sjerp) and Dalen, D. van (Dirk) and Heyting, A. (Arend)",Constructivism in mathematics : an introduction,,North-Holland,1988,Studies in logic and the foundations of mathematics,,"0444702660,0444705066,0444703586",,https://cir.nii.ac.jp/crid/1130000796468096000