2階算術における実数と複素数 (圏論と証明論の新たな融合を目指して)

スポンサーリンク

概要

著者

関連論文

もっと見る

スポンサーリンク