[logic-ml] comparing material and structural set theories

logic logic at math.tsukuba.ac.jp
Sat Jul 18 01:28:25 JST 2020

Previous message: [logic-ml] 量子ソフトウェア研究会
Next message: [logic-ml] calculus of construction
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

https://zbmath.org/?q=an%3A1412.18004

最近ちょっと面白い集合論の論文を
reviewsしたので
ご案内しておきます。

にしむら
https://www.researchgate.net/profile/Hirokazu_Nishimura

Previous message: [logic-ml] 量子ソフトウェア研究会
Next message: [logic-ml] calculus of construction
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Logic-ml mailing list