Tarski1951Decision
A Decision Method for Elementary Algebra and Geometry
misc1951
Reference note
Why this source is in the ledger
Alfred Tarski, A Decision Method for Elementary Algebra and Geometry, 2nd ed., University of California Press (1951).
Catalog connections
Conjectures citing this source
Source record
Bibliographic fields
Inspect the parsed BibTeX fields
- author
- Alfred Tarski
- note
- Alfred Tarski, A Decision Method for Elementary Algebra and Geometry, 2nd ed., University of California Press (1951).
- title
- A Decision Method for Elementary Algebra and Geometry
- year
- 1951