A New Decision Method for Elementary Alg
β
A. Seidenberg
π
Article
π
1954
π
John Hopkins University Press
π
English
β 952 KB