1 option
A decision method for elementary algebra and geometry / by Alfred Tarski ; prepared for publication with the assistance of J.C.C. McKinsey.
LIBRA 512 T175 1951
Available from offsite location
- Format:
- Book
- Author/Creator:
- Tarski, Alfred, 1901-1983.
- Language:
- English
- Subjects (All):
- Recursive functions.
- Gödel's theorem.
- Physical Description:
- iii, 63 pages ; 28 cm
- Edition:
- Second edition, revised.
- Place of Publication:
- Berkeley : University of California Press, 1951.
- Notes:
- Bibliography: pages 59-60.
- A photographic reprint of the edition published by the Rand Corporation in 1948, with supplementary notes containing eleborations of the original text.
- OCLC:
- 248977355
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.