End-extension とstandardizable extension について(自然数の超準モデルにおける1階定義可能性の研究)

スポンサーリンク

概要

著者

関連論文

スポンサーリンク