横山 博一 | 岡山大学大学院自然科学研究科

スポンサーリンク

概要

• 横山 博一の詳細を見る
• 同名の論文著者
• 岡山大学大学院自然科学研究科の論文著者

関連著者

• 田中 広志

  阿南工業高等専門学校一般教科

• 田中 広志

  岡山大学大学院自然科学研究科

• 横山 博一

  岡山大学大学院自然科学研究科

著作論文

• Quantifier elimination of the products of ordered abelian groups(Study of definability in nonstandard models of arithmetic)

スポンサーリンク