A decision method for elementary algebra and geometry
by Alfred Tarski ; prepared for publication with the assistance of J.C.C. McKinsey
University Microfilms International, 1951
2nd ed., rev
Reprint. Originally published: Berkeley : University of California Press, 1951
Bibliography: p. 59-60