Decision method for elementary algebra
Seidenberg A.Categories:
Year:
1954
Language:
english
Pages:
11
Series:
Ann.Math.
File:
DJVU, 169 KB
IPFS:
,
english, 1954