Elementary constructive theory of ordered fields
Henri Lombardi, Marie-Francoise Royカテゴリー:
年:
2002
版:
version 8 Dec 2002
言語:
english
ページ:
14
シリーズ:
expository notes, published in: Effective Methods in Algebraic Geometry. Eds. Mora T., Traverso C.. Birkhäuser (1991). Progress in Math. No 94 (MEGA 90), 249-262
ファイル:
PDF, 146 KB
IPFS:
,
english, 2002