数学基礎論サマースクール2024

   テーマ:算術の証明論と構成的数学

    2024/09/17-2024/09/20