“A Decision Method for Elementary Algebra and Geometry”
E353634
UNEXPLORED
“A Decision Method for Elementary Algebra and Geometry” is Alfred Tarski’s influential work that presents a procedure for deciding the truth of statements in elementary algebra and geometry, laying foundations for decision theory in mathematical logic.
Aliases (1)
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
Alfred Tarski
("Tarski’s high school algebra problem")
→
|
knownFor |
|
Alfred Tarski
→
|
notableWork |