September 2023 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Mon Sep 11 09:33:08 JST 2023
Ending: Wed Sep 27 09:31:10 JST 2023
Messages: 3

• [kisoron-ml] 証明論研究集会2023: RIMS共同研究(公開型)「証明論と計算論の最前線」のご案内   YOKOYAMA Keita
• [kisoron-ml] Two Mini-Courses in Set Theory, University of Vienna, October 2023 – January 2024   Diego A. Mejía
• [kisoron-ml] 数学基礎論若手の会2023   松田直祐

Last message date: Wed Sep 27 09:31:10 JST 2023
Archived on: Wed Sep 27 09:31:51 JST 2023

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...