@article{oai:tsukuba.repo.nii.ac.jp:00056100,
 author = {西村, 泰一 and NISHIMURA, Hirokazu},
 journal = {Mathematical Reviews (MathSciNet)},
 month = {},
 title = {a review of Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness by Lawvere, F. W.(1-SUNYB-NDM); Menni, M.(RA-UNLP)},
 year = {2020},
 yomi = {ニシムラ, ヒロカズ}
}