RIMS 共同研究(公開型)

数理論理学の最近の進展

Symposium on Advances in Mathematical Logic