Author,Title,Edition,Publisher,Year,Series,Number,ISBN,ISSN,URL
"Dragalin, Alʹbert Grigorʹevich",Mathematical intuitionism : introduction to proof theory,,American Mathematical Society,1988,Translations of mathematical monographs,,0821845209,,https://cir.nii.ac.jp/crid/1130282273302054144