A Decision Method for Elementary Algebra and Geometry

Publisher Website
Google Scholar
Abstract
A Decision Method for Elementary Algebra and Geometry by Alfred Tarski, J. C. C. McKinsey was published on September 30, 2020 by University of California Press.