Alfred Tarski 
A Decision Method for Elementary Algebra and Geometry [EPUB ebook] 

This revised edition of
A Decision Method for Elementary Algebra and Geometry presents the culmination of research begun in 1930, which laid foundational results in algebraic and geometric completeness. Originally intended for publication in 1939 by Hermann & Cie, Paris, the onset of war delayed its release, with only proofs left as a record. The RAND Corporation’s interest in 1948 revived the project, resulting in a monograph focused on the systematic development of a decision method for elementary algebra and geometry, emphasizing its practical potential in creating a decision-making machine. Under the editorial guidance of Professor J.C.C. Mc Kinsey, this work was refined with a new draft, clarifying key theoretical aspects and introducing simplifications to the development process. The current edition reproduces RAND’s publication with minor corrections, updated references, and supplementary notes that expand upon original theories, including fresh bibliographical insights.
This title is part of UC Press’s Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1951.