数学基礎論サマースクール2007にて
【2007年9月4日】
日時 | 2007年9月4日(火曜日)から9月6日(木曜日) |
---|---|
場所 | 静岡大学 |
講演者 | 渕野 昌 |
題目 | 強制法入門(連続体仮説の独立性証明など) |
詳細 | 数学基礎論サマースクール2007の詳細はこちら |
【2007年9月4日】
日時 | 2007年9月4日(火曜日)から9月6日(木曜日) |
---|---|
場所 | 静岡大学 |
講演者 | 渕野 昌 |
題目 | 強制法入門(連続体仮説の独立性証明など) |
詳細 | 数学基礎論サマースクール2007の詳細はこちら |