Project Rand : a decision method for elementary algebra and geometry /

Main Author: Tarski, Alfred
Other Authors: McKinsey, J. C. C.
Format: Book
Language:English
Published: Berkeley: University of California Press, 1957
Edition:2d ed.
Subjects:
Item Description:R-109
Physical Description:iii, 63 p. : fig. ; 28 cm.
Bibliography:Includes bibliography: p. 59-60