Turing次数

履歴
2017年8月5-7日　数学基礎論サマースクール2017

タイトル
Turing次数

種類
数学基礎論サマースクール2017での講演

ダウンロード
レジュメがサイトからダウンロードできます．