1954

1 reference published this year.

A new decision method for elementary algebra
Abraham Seidenberg (1954) · Annals of Mathematics