@article{oai:tsukuba.repo.nii.ac.jp:00056122, author = {西村, 泰一 and NISHIMURA, Hirokazu}, journal = {Mathematical Reviews (MathSciNet)}, month = {}, title = {a review of The unity and identity of decidable objects and double-negation sheaves by Menni, Matías(RA-UNLP-STR)}, year = {2020}, yomi = {ニシムラ, ヒロカズ} }