ダウンロード

不動点公理と算術的超限再帰法の同値性について