実閉体を成す弱計算可能実数の部分族

履歴
2022年9月15日　スライドアップロード

タイトル
実閉体を成す弱計算可能実数の部分族

種類
2022年度秋季総合文科会

ダウンロード
mathsoc