ダウンロード

原始再帰算術はなぜ特別なのか? ―テイト “Finitism”