decision method for elementary algebra and geometry
By: by Alfred Tarski; prepared for publication with the assistance of J. C. C. McKinsey.
Edition: 2d ed., rev.
Publisher: Rand
Published: 1957
Place of publication: Santa Monica, Calif
Language: eng
Number of pages: 63
Subjects: Algebra, Abstract.; Geometry.; Logic, Symbolic and mathematical.
Notes: Cover title.

At head of title: "Project Rand."

Bibliography: p. 59-60.