14 Jan
2023
14 Jan
'23
10:07 p.m.
Ann. Pure Appl. Logicに掲載された 次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07628767.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=Oiwnr18MYaY