Decision Method for Elementary Algebra and Geometry
Decision Method for Elementary Algebra and Geometry
Books like Decision Method for Elementary Algebra and Geometry
More by Alfred Tarski
- Undecidable TheoriesUndecidable Theories2010
- A Formalization of Set Theory Without VariablesA Formalization of Set Theory Without Variables1988
- Alfred Tarski. Collected Papers Volume 4 1958-1979Alfred Tarski. Collected Papers Volume 4 1958-19791986
- Ordinal AlgebrasOrdinal Algebras1956
- Introduction to Logic and to the Methodology of Deductive ScIntroduction to Logic and to the Methodology of Deductive Sciences1954
- Logic, Semantics, and MetamathematicsLogic, Semantics, and Metamathematics