@article{oai:tsukuba.repo.nii.ac.jp:00053857, author = {西村, 泰一 and NISHIMURA, Hirokazu}, journal = {Zentralblatt MATH}, month = {}, title = {a review of Infinitary first-order categorical logic by Espíndola, Christian}, year = {2020}, yomi = {ニシムラ, ヒロカズ} }