関数空間と、冪集合と対応が取れることについて

概要

参考文献

• 萩谷昌己, 西崎真也, 論理と計算のしくみ, 岩波オンデマンドブックス