A Decision Method for Elementary Algebra and Geometry (1948)

by Alfred Tarski