A New Decision Method for Elementary Algebra

• 1 September 1954
• journal article
• Published by JSTOR in Annals of Mathematics
• Vol. 60  (2) , 365
• https://doi.org/10.2307/1969640

Abstract