A 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: University of California Press
Published: 1951
Place of publication: Berkeley
Language: eng
Number of pages: 63
Subjects: Recursive functions.; Gödel's theorem.
Notes: Bibliography: p. 59-60.