ダウンロード

発表題目:有限主義者は指数関数を使えるか?——Tait型有限主義の検討 本