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
-
Recursive equivalence types/
by: Dekker, J. C. E.
Published: (1960) -
Recursion theory : its generalisations and applications: proceedings of Logic Colloquium ʹ79, Leeds, August 1979 /
Published: (1980) -
Recursive functionals/
by: Sanchis, Luis E.
Published: (1992) -
Computations in higher types/
by: Moldestad, Johan, 1946-
Published: (1977) -
Rekursive Funktionen/
by: Ro?zsa, Pe?ter
Published: (1957)