A Decision Method for Elementary Algebra and Geometry: Prepared for Publication with the Assistance of J.C.C. McKinsey
$25.00
A decision method by which the truth of sentences of the elementary algebra and geometry of real numbers is determined.
Show More
Show Less