2020-12-02から1日間の記事一覧
Mathematucal Logic Advent Calendar 2020 の2日目「構成的逆数学のなんらかの話題」です。 drive.google.com アドベントカレンダーのリンクはこちらから。 adventar.org
Mathematucal Logic Advent Calendar 2020 の2日目「構成的逆数学のなんらかの話題」です。 drive.google.com アドベントカレンダーのリンクはこちらから。 adventar.org