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:

Similar Items