Mathematical Logic Advent Calendar 2023 - Adventar

数理論理学や数学基礎論、及びその部分分野や応用などに関するアドベントカレンダーです。数理論理学の記事であれば、どのようなものでも受け付けています!