1 Oct
2021
1 Oct
'21
5:40 a.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