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