@article{oai:tsukuba.repo.nii.ac.jp:02001121, author = {西村, 泰一 and NISHIMURA, Hirokazu}, journal = {zbMATH Open}, month = {}, title = {a review of From constructive mathematics to computable analysis via the realizability interpretation by Lietz, Peter}, year = {2021}, yomi = {ニシムラ, ヒロカズ} }