命題を集合と同一視すること--包括原理からカリー=ハワード対応へ (特集 ラッセルのパラドックス・100年)

スポンサーリンク

概要

日本科学哲学会 | 論文

もっと見る

スポンサーリンク