30 Sep
2021
30 Sep
'21
8:40 p.m.
Notre Dam J. Formal Logic
に掲載された下記の論文をreview しましたので、御案内しておきます。
https://zbmath.org/pdf/07391965.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=xonSQNbSvNk