A decision method for elementary algebra and geometry
By: [by] Alfred Tarski; prepared for publication with the assistance of J. C. C. McKinsey.
Series: Project rand, R-109; Project Rand -- R-109.
Publisher: Rand Corporation
Published: 1948
Place of publication: Santa Monica, Calif
Language: eng
Number of pages: 60
Subjects: Algebra, Abstract.; Geometry.; Logic, Symbolic and mathematical.
Notes: Bibliography: p. 59-60.