[logic-ml] nominal sets

logic logic at math.tsukuba.ac.jp
Wed Mar 15 02:38:26 JST 2023


  次の論文をreviewしましたので、
  御案内しておきます。


https://zbmath.org/7626869


     にしむら
     https://www.researchgate.net/profile/Hirokazu-Nishimura
     https://www.youtube.com/watch?v=UyLdfEmRCBQ



More information about the Logic-ml mailing list